diff options
| author | Jordan Wiens <jordan@psifertex.com> | 2019-08-04 22:05:21 -0400 |
|---|---|---|
| committer | Jordan Wiens <jordan@psifertex.com> | 2019-08-04 22:06:36 -0400 |
| commit | 4587d3ff3b9db208d98d6cff1dfc23fc61e0a015 (patch) | |
| tree | d06307478e1fbdd74099b964b7c74a7ac44a2932 /api-docs/Makefile | |
| parent | 5fd35c56af33c7f7aeeb4b3206a826eba2de9e1f (diff) | |
fail build if docs do not build
Diffstat (limited to 'api-docs/Makefile')
| -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." |