Added htmldoc, to generate the HTML for "Documenting Python".

diff --git a/Doc/Makefile b/Doc/Makefile
index b3e281f38049824cfee7e87a81991fc61b54c795..a086769ea24765a4d6d6e6460c3bdf2cd1f8fab2 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -175,6 +175,9 @@ html:
 htmlapi:
        (cd $(HTMLDIR); $(MAKE) PAPER=$(PAPER) -f ../html/Makefile api)
 
+htmldoc:
+       (cd $(HTMLDIR); $(MAKE) PAPER=$(PAPER) -f ../html/Makefile doc)
+
 htmlext:
        (cd $(HTMLDIR); $(MAKE) PAPER=$(PAPER) -f ../html/Makefile ext)