Add support for "Documenting Python".
diff --git a/Doc/Makefile b/Doc/Makefile
index e48fdb2..7487f15 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -84,6 +84,9 @@
api api.ps:
(cd paper-$(PAPER); $(MAKE) api.ps)
+doc doc.ps:
+ (cd paper-$(PAPER); $(MAKE) doc.ps)
+
ext ext.ps:
(cd paper-$(PAPER); $(MAKE) ext.ps)
@@ -103,6 +106,9 @@
api.dvi:
(cd paper-$(PAPER); $(MAKE) api.dvi)
+doc.dvi:
+ (cd paper-$(PAPER); $(MAKE) doc.dvi)
+
ext.dvi:
(cd paper-$(PAPER); $(MAKE) ext.dvi)
@@ -122,6 +128,9 @@
api.pdf:
(cd paper-$(PAPER); $(MAKE) api.pdf)
+doc.pdf:
+ (cd paper-$(PAPER); $(MAKE) doc.pdf)
+
ext.pdf:
(cd paper-$(PAPER); $(MAKE) ext.pdf)