Added "doc" target to match the other document-prefix targets.

diff --git a/Doc/html/Makefile b/Doc/html/Makefile
index 4ff1dd34dcb6d1629a0b577c049ca2845470a1ca..8bbb6912edf7300beefe98f13985cb082c66ced7 100644 (file)
--- a/Doc/html/Makefile
+++ b/Doc/html/Makefile
@@ -45,6 +45,7 @@ all:  $(INDEXFILES) modindex.html
 .PHONY: api ext lib mac ref tut
 
 api: api/api.html
+doc: doc/doc.html
 ext: ext/ext.html
 lib: lib/lib.html
 mac: mac/mac.html