Add web target to Sphinx makefile.

diff --git a/doc/Makefile b/doc/Makefile
index f036606858998f9aa839e6e6fb0cce2e7b3a6fd8..1b95ecc04f5bbb49e8969b9c8051b6e21236bd8e 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -6,6 +6,7 @@ SPHINXOPTS    =
 SPHINXBUILD   = sphinx-build
 PAPER         =
 BUILDDIR      = _build
+WEBBUILDDIR   = ../web/static/doc
 
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4
@@ -18,6 +19,7 @@ I18NSPHINXOPTS  = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
 help:
        @echo "Please use \`make <target>' where <target> is one of"
        @echo "  html       to make standalone HTML files"
+       @echo "  web        to make standalone HTML files and copy them to the seepark app"
        @echo "  dirhtml    to make HTML files named index.html in directories"
        @echo "  singlehtml to make a single large HTML file"
        @echo "  pickle     to make pickle files"
@@ -54,6 +56,12 @@ html:
        @echo
        @echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
+.PHONY: web
+web:
+       $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(WEBBUILDDIR)
+       @echo
+       @echo "Build finished. The HTML pages are in $(WEBBUILDDIR)."
+
 .PHONY: dirhtml
 dirhtml:
        $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml