diff options
-rw-r--r-- | Doc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 955fb68..1811a34 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -4,9 +4,9 @@ # # You can set these variables from the command line. -PYTHON ?= python -SVNROOT ?= http://svn.python.org/projects -SPHINXOPTS ?= +PYTHON = python +SVNROOT = http://svn.python.org/projects +SPHINXOPTS = ALLSPHINXOPTS = -b$(BUILDER) -dbuild/doctrees $(SPHINXOPTS) . build/$(BUILDER) |