diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 538d68f2616..ce0baa01ea6 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -128,8 +128,8 @@ wcnew: all
 clean:
 	rm -rf @webchecker.pickle
 
-clobber: clean
-	rm -rf index.html api/ doc/ ext/ lib/ mac/ ref/ tut/
+distclean realclean clobber: clean
+	rm -rf index.html modindex.html api/ doc/ ext/ lib/ mac/ ref/ tut/
 
 
 # This is really ugly, but we're not dependent on $(RELEASE), which isn't