diff --git a/src/Makefile.in b/src/Makefile.in
index ad6e42ded0b..13ec39bb99f 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -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: