diff --git a/Makefile b/Makefile index f9e6818..ce7181f 100644 --- a/Makefile +++ b/Makefile @@ -303,7 +303,7 @@ clean: distclean: rm -f tests/*.out src/*.gcno src/*.gcda src/*.indent src/*.unc-backup* rm -rf autom4te.cache/ - rm -f config.log config.status configure Makefile tools/Makefile include/config.h include/config.h.in + rm -f config.log config.status configure include/config.h include/config.h.in rm -f doc/edge.8.gz doc/n2n.7.gz doc/supernode.1.gz rm -f packages/debian/config.log packages/debian/config.status rm -rf packages/debian/autom4te.cache/