diff --git a/docsrc/Makefile b/docsrc/Makefile index 79fce712..a61b6642 100644 --- a/docsrc/Makefile +++ b/docsrc/Makefile @@ -7,16 +7,19 @@ SPHINXBUILD ?= sphinx-build SOURCEDIR = sources BUILDDIR = build -github: - @make html - @cp -a build/html/. ../docs - # Put it first so that "make" without argument is like "make help". help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) .PHONY: help Makefile +# GitHub Pages +github: + @make clean + @make html + @touch build/html/.nojekyll + @cp -a build/html/. ../docs + # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile