diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 538d68f..ce0baa0 100644
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -128,8 +128,8 @@
 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