diff --git a/doc/Makefile b/doc/Makefile index 55c952df..4da1e8a0 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -108,3 +108,6 @@ doctest: $(SPHINXBUILD) -b doctest $(ALLSPHINXOPTS) $(DEST)/doctest @echo "Testing of doctests in the sources finished, look at the " \ "results in build/doctest/output.txt." + +gh-pages: + python gh-pages.py