diff --git a/source/Makefile b/source/Makefile index 655286aa..9e49b866 100644 --- a/source/Makefile +++ b/source/Makefile @@ -6,6 +6,7 @@ SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = BUILDDIR = _build +SCRIPTDIR = scripts/_python # User-friendly check for sphinx-build ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1) @@ -56,6 +57,9 @@ html: @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." +py: + $(MAKE) -C $(SCRIPTDIR) py + dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml @echo @@ -73,6 +77,7 @@ pickle: json: $(SPHINXBUILD) -b json $(ALLSPHINXOPTS) $(BUILDDIR)/json + $(MAKE) -C $(SCRIPTDIR) py @echo @echo "Build finished; now you can process the JSON files."