]> git.ipfire.org Git - thirdparty/autoconf.git/commitdiff
(distclean): Remove config.cache.
authorDavid MacKenzie <djm@djmnet.org>
Thu, 5 May 1994 11:51:35 +0000 (11:51 +0000)
committerDavid MacKenzie <djm@djmnet.org>
Thu, 5 May 1994 11:51:35 +0000 (11:51 +0000)
Makefile.in
doc/Makefile.in

index 99e56a3867079abf1e6d78ac35d02c9afd715310..742582b8b85b512a6df484e2841d85c1ab7f53cd 100644 (file)
@@ -156,7 +156,7 @@ clean:
 mostlyclean: clean
 
 distclean: clean
-       rm -f Makefile config.status
+       rm -f Makefile config.status config.cache
 
 realclean: distclean
        rm -f TAGS *.info*
index 99e56a3867079abf1e6d78ac35d02c9afd715310..742582b8b85b512a6df484e2841d85c1ab7f53cd 100644 (file)
@@ -156,7 +156,7 @@ clean:
 mostlyclean: clean
 
 distclean: clean
-       rm -f Makefile config.status
+       rm -f Makefile config.status config.cache
 
 realclean: distclean
        rm -f TAGS *.info*