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 e55ea9ac3d3ac77314073bc4681bd8dd32d55acd..7dad0e7d09170e08bc4b84013005418847d7765d 100644 (file)
--- 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