diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index f69383ee9c..7517e5f9c4 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -8,9 +8,10 @@ PYTHON = python2.5 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 @@ -82,6 +83,11 @@ coverage: BUILDER = coverage coverage: build @echo "Coverage finished; see c.txt and python.txt in build/coverage" +doctest: BUILDER = doctest +doctest: build + @echo "Testing of doctests in the sources finished, look at the " \ + "results in build/doctest/output.txt" + clean: -rm -rf build/* -rm -rf tools/sphinx |