From 4587d3ff3b9db208d98d6cff1dfc23fc61e0a015 Mon Sep 17 00:00:00 2001 From: Jordan Wiens Date: Sun, 4 Aug 2019 22:05:21 -0400 Subject: fail build if docs do not build --- api-docs/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'api-docs') 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." -- cgit v1.3.1