From 8571327c73bbe651bcb0746063f888edfc19aced Mon Sep 17 00:00:00 2001 From: "Todd C. Miller" Date: Tue, 25 Jun 1996 20:07:58 +0000 Subject: [PATCH] make clean -> make distclean --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.40.0