diff --git a/Makefile.in b/Makefile.in index 8512e00f5..b98002ef6 100755 --- a/Makefile.in +++ b/Makefile.in @@ -929,8 +929,8 @@ clean: clean_docs -realclean: clean realclean_docs - rm -f yap@EXEC_SUFFIX@ startup.yss libYap.* Makefile *.h config.log config.status config.cache +distclean: clean realclean_docs + rm -f yap@EXEC_SUFFIX@ startup.yss libYap.* Makefile */Makefile */*/Makefile */*defs */*/*/Makefile *.h config.* dist: