diff options
Diffstat (limited to 'api-docs')
| -rw-r--r-- | api-docs/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/api-docs/Makefile b/api-docs/Makefile index 3d13383f..d3111849 100644 --- a/api-docs/Makefile +++ b/api-docs/Makefile @@ -53,19 +53,19 @@ clean: .PHONY: html html: - $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html + $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html || (echo "HTML Build Failed $$?"; exit 1) @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." .PHONY: dirhtml dirhtml: - $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml + $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml || (echo "HTML Build Failed $$?"; exit 1) @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/dirhtml." .PHONY: singlehtml singlehtml: - $(SPHINXBUILD) -b singlehtml $(ALLSPHINXOPTS) $(BUILDDIR)/singlehtml + $(SPHINXBUILD) -b singlehtml $(ALLSPHINXOPTS) $(BUILDDIR)/singlehtml || (echo "HTML Build Failed $$?"; exit 1) @echo @echo "Build finished. The HTML page is in $(BUILDDIR)/singlehtml." |