diff --git a/doc/Makefile b/doc/Makefile
index 3dff24f68..405c261a3 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -50,7 +50,7 @@ clean:
 	rm -f *~
 
 zap:	clean
-	rm -f $(TXT) $(HTML) $(INFO) $(DVI)
+	rm -f $(TXT) $(HTML) $(INFO) $(DVI) *.html *.info-*
 
 # ------------------------------------------------------------------------------
 # Make the dependencies