| 123456789101112131415161718192021222324 | # Minimal makefile for Sphinx documentation## You can set these variables from the command line, and also# from the environment for the first two.SPHINXOPTS    ?=SPHINXBUILD   ?= sphinx-buildSOURCEDIR     = sourceBUILDDIR      = build# Put it first so that "make" without argument is like "make help".help:	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O).PHONY: help Makefilegithub:	@make html	@cp -a ${BUILDDIR}/html/ ./# Catch-all target: route all unknown targets to Sphinx using the new# "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).%: Makefile	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 |