1*4882a593Smuzhiyun# Minimal makefile for Sphinx documentation 2*4882a593Smuzhiyun# 3*4882a593Smuzhiyun 4*4882a593Smuzhiyun# You can set these variables from the command line, and also 5*4882a593Smuzhiyun# from the environment for the first two. 6*4882a593SmuzhiyunSPHINXOPTS ?= -W --keep-going -j auto 7*4882a593SmuzhiyunSPHINXBUILD ?= sphinx-build 8*4882a593SmuzhiyunSOURCEDIR = . 9*4882a593SmuzhiyunBUILDDIR = _build 10*4882a593SmuzhiyunDESTDIR = final 11*4882a593Smuzhiyun 12*4882a593Smuzhiyunifeq ($(shell if which $(SPHINXBUILD) >/dev/null 2>&1; then echo 1; else echo 0; fi),0) 13*4882a593Smuzhiyun$(error "The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed") 14*4882a593Smuzhiyunendif 15*4882a593Smuzhiyun 16*4882a593Smuzhiyun# Put it first so that "make" without argument is like "make help". 17*4882a593Smuzhiyunhelp: 18*4882a593Smuzhiyun @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) 19*4882a593Smuzhiyun 20*4882a593Smuzhiyun.PHONY: help Makefile clean publish 21*4882a593Smuzhiyun 22*4882a593Smuzhiyunpublish: Makefile html singlehtml 23*4882a593Smuzhiyun rm -rf $(BUILDDIR)/$(DESTDIR)/ 24*4882a593Smuzhiyun mkdir -p $(BUILDDIR)/$(DESTDIR)/ 25*4882a593Smuzhiyun cp -r $(BUILDDIR)/html/* $(BUILDDIR)/$(DESTDIR)/ 26*4882a593Smuzhiyun cp $(BUILDDIR)/singlehtml/index.html $(BUILDDIR)/$(DESTDIR)/singleindex.html 27*4882a593Smuzhiyun sed -i -e 's@index.html#@singleindex.html#@g' $(BUILDDIR)/$(DESTDIR)/singleindex.html 28*4882a593Smuzhiyun 29*4882a593Smuzhiyunclean: 30*4882a593Smuzhiyun @rm -rf $(BUILDDIR) 31*4882a593Smuzhiyun 32*4882a593Smuzhiyun# Catch-all target: route all unknown targets to Sphinx using the new 33*4882a593Smuzhiyun# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). 34*4882a593Smuzhiyun%: Makefile 35*4882a593Smuzhiyun @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) 36