From 53d9429b87403c33e056a10049cdae8a6aa12e8a Mon Sep 17 00:00:00 2001 From: "Todd C. Miller" Date: Mon, 17 Feb 2014 10:27:20 -0700 Subject: [PATCH] Talk about clearing files at boot time, not reboot time since it happens when the system comes up, not down. --- INSTALL | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.40.0