diff --git a/Makefile.in b/Makefile.in
index 2e6a00e41..b80c8f534 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -112,6 +112,7 @@ distclean:
 	rm -f config.log
 	rm -f config.status
 	rm -f Makefile
+	rm -f doc/Makefile
 	for dir in ${subdirs}; do \
 		cd $$dir; \
 		${MAKE} distclean; \