Allow giving source names on the cmdline.

diff --git a/Doc/Makefile b/Doc/Makefile
index 64a1b2fe048d5f114e053cc9e48bd229eea031f2..5cfe635b4d2a40b142d9e4ce255fabcc0652a547 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -8,9 +8,10 @@ PYTHON       = python
 SVNROOT      = http://svn.python.org/projects
 SPHINXOPTS   =
 PAPER        =
+SOURCES      =
 
 ALLSPHINXOPTS = -b $(BUILDER) -d build/doctrees -D latex_paper_size=$(PAPER) \
-                $(SPHINXOPTS) . build/$(BUILDER)
+                $(SPHINXOPTS) . build/$(BUILDER) $(SOURCES)
 
 .PHONY: help checkout update build html web htmlhelp clean coverage