diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile index 3511a59..9892785 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -57,6 +57,11 @@ html: @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." +html-noplot: + $(SPHINXBUILD) -D plot_gallery=0 -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + @echo + @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." + .PHONY: dirhtml dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml |