diff --git a/Doc/Makefile b/Doc/Makefile --- a/Doc/Makefile +++ b/Doc/Makefile @@ -63,6 +63,12 @@ $(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS) @echo +# like build, but continue on error +build-and-continue: checkout + mkdir -p build/$(BUILDER) build/doctrees + -$(PYTHON) tools/sphinx-build.py $(ALLSPHINXOPTS) + @echo + html: BUILDER = html html: build @echo "Build finished. The HTML pages are in build/html." @@ -91,12 +97,12 @@ @echo "The overview file is in build/changes." linkcheck: BUILDER = linkcheck -linkcheck: build +linkcheck: build-and-continue @echo "Link check complete; look for any errors in the above output" \ "or in build/$(BUILDER)/output.txt" suspicious: BUILDER = suspicious -suspicious: build +suspicious: build-and-continue @echo "Suspicious check complete; look for any errors in the above output" \ "or in build/$(BUILDER)/suspicious.csv. If all issues are false" \ "positives, append that file to tools/sphinxext/susp-ignored.csv." @@ -106,7 +112,7 @@ @echo "Coverage finished; see c.txt and python.txt in build/coverage" doctest: BUILDER = doctest -doctest: build +doctest: build-and-continue @echo "Testing of doctests in the sources finished, look at the" \ "results in build/doctest/output.txt"