(distclean): Do delete Makefile and Makefile.in.

This commit is contained in:
Richard M. Stallman 1993-11-16 08:39:13 +00:00
parent 46e4cb7685
commit 4880982682

View file

@ -772,7 +772,7 @@ clean: mostlyclean
/**/# This is used in making a distribution.
/**/# Do not use it on development directories!
distclean: clean
rm -f paths.h config.h ../etc/DOC-*
rm -f paths.h config.h Makefile Makefile.in ../etc/DOC-*
realclean: distclean
rm -f TAGS
versionclean: