From: Todd C. Miller <Todd.Miller@courtesan.com>
Date: Tue, 25 Jun 1996 20:07:58 +0000 (+0000)
Subject: make clean -> make distclean
X-Git-Tag: SUDO_1_5_0~140
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8571327c73bbe651bcb0746063f888edfc19aced;p=sudo

make clean -> make distclean
---

diff --git a/INSTALL b/INSTALL
index 6229b8557..200fe8a97 100644
--- a/INSTALL
+++ b/INSTALL
@@ -11,7 +11,7 @@ Simple sudo installation
 For most systems and configurations it is possible simply to:
 
     0) If you previously ran `configure' on a different host
-       you will probably want to do a `make clean' to remove
+       you will probably want to do a `make distclean' to remove
        the old `config.cache' file.  Otherwise, `configure'
        will use the cached values which is probably not
        what you want unless the two hosts are running the