diff --git a/docs/Makefile b/docs/Makefile index c6e4dd64d..4289690f0 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -26,7 +26,7 @@ help: build: mkdir -p build/$(BUILDER) build/doctrees - sphinx-build $(ALLSPHINXOPTS) + -sphinx-build $(ALLSPHINXOPTS) @echo @@ -58,6 +58,11 @@ linkcheck: build @echo "Link check complete; look for any errors in the above output " \ "or in build/$(BUILDER)/output.txt" +linkfix: linkcheck + $(PYTHON) utils/linkfix.py + @echo "Fixing redirecting links in docs has finished; check all " \ + "replacements before committing them" + doctest: BUILDER = doctest doctest: build @echo "Testing of doctests in the sources finished, look at the " \