From: Todd C. Miller <Todd.Miller@courtesan.com>
Date: Mon, 17 Feb 2014 17:27:20 +0000 (-0700)
Subject: Talk about clearing files at boot time, not reboot time since it
X-Git-Tag: SUDO_1_8_10^2~17
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=53d9429b87403c33e056a10049cdae8a6aa12e8a;p=sudo

Talk about clearing files at boot time, not reboot time since it
happens when the system comes up, not down.
---

diff --git a/INSTALL b/INSTALL
index e55ea9ac3..7dad0e7d0 100644
--- a/INSTALL
+++ b/INSTALL
@@ -135,7 +135,7 @@ Directory and file names:
 	This directory should be cleared when the system reboots.
 	On systems that lack /var/run, the default rundir and vardir
 	may be the same.  In this case, only the ts directory inside
-	the rundir needs to be cleared at reboot time.
+	the rundir needs to be cleared at boot time.
 
   --with-vardir=DIR
         Set the directory to be used for sudo-specific files that
@@ -143,7 +143,7 @@ Directory and file names:
         status directory is stored.  By default, configure will use
         the first existing directory in the following list:
 	    /var/db, /var/lib, /var/adm, /usr/adm
-	This directory should not be cleared when the system reboots.
+	This directory should not be cleared when the system boots.
 
 Compilation options:
   --disable-hardening