diff options
| -rw-r--r-- | doc/Makefile (renamed from doc/Makefile.sphinx) | 6 | ||||
| -rw-r--r-- | doc/README | 2 |
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/Makefile.sphinx b/doc/Makefile index c9518558..4d721d30 100644 --- a/doc/Makefile.sphinx +++ b/doc/Makefile @@ -17,9 +17,9 @@ endif help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) -.PHONY: help Makefile.sphinx clean publish +.PHONY: help Makefile clean publish -publish: Makefile.sphinx html singlehtml +publish: Makefile html singlehtml rm -rf $(BUILDDIR)/$(DESTDIR)/ mkdir -p $(BUILDDIR)/$(DESTDIR)/ cp -r $(BUILDDIR)/html/* $(BUILDDIR)/$(DESTDIR)/ @@ -31,5 +31,5 @@ clean: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). -%: Makefile.sphinx +%: Makefile @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) @@ -48,7 +48,7 @@ To install all required packages run: To build the documentation locally, run: $ cd documentation - $ make -f Makefile.sphinx html + $ make html The resulting HTML index page will be _build/html/index.html, and you can browse your own copy of the locally generated documentation with |