From b98fe5a87fa0b58daf8614de24b9171c1dcb6076 Mon Sep 17 00:00:00 2001
From: Georg Brandl <georg@python.org>
Date: Sat, 22 Mar 2008 10:58:38 +0000
Subject: Allow giving source names on the cmdline.

---
 Doc/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index 64a1b2f..5cfe635 100644
--- 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
 
-- 
cgit v0.12