update sphinx makefile

This commit is contained in:
Christian Giese
2022-04-01 10:58:35 +02:00
parent 0d5b4d84a4
commit eea961d221
+7 -4
View File
@@ -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