]> git.ipfire.org Git - thirdparty/autoconf.git/commitdiff
projects / thirdparty / autoconf.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8154936)
(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 patch | blob | blame | history
doc/Makefile.in patch | blob | blame | history

diff --git a/Makefile.in b/Makefile.in
index 99e56a3867079abf1e6d78ac35d02c9afd715310..742582b8b85b512a6df484e2841d85c1ab7f53cd 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -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*
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 99e56a3867079abf1e6d78ac35d02c9afd715310..742582b8b85b512a6df484e2841d85c1ab7f53cd 100644 (file)
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -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*
Mirror of https://github.com/autotools-mirror/autoconf.git