diff --git a/doc/man/Makefile b/doc/man/Makefile
index 70ed938cbb139eeaa2c063120155d04675a16fca..18a02133426e0bed75b03b669fc1a2a58009f186 100644
--- a/doc/man/Makefile
+++ b/doc/man/Makefile
@@ -22,7 +22,7 @@ distclean: clean
 	-for i in $(MANEXTS); \
 	do \
 	   [ -d man$$i ] && { echo making clean in directory man$$i; \
-	   (cd man$$i; $(RM) *.ps *.cat *.man *.txt) } \
+	   (cd man$$i; $(RM) *.ps *.cat *.man *.txt $(GENERIC-DIST-CLEAN)) } \
 	done
 
 install: