diff options
author | Florian Dold <florian.dold@gmail.com> | 2020-06-24 18:06:37 +0530 |
---|---|---|
committer | Florian Dold <florian.dold@gmail.com> | 2020-06-24 18:06:37 +0530 |
commit | 9f5b5a7ed93a8f9f42260a524f17a02f6f1d8b66 (patch) | |
tree | bb24e173ddb8ea3dba3b5db3b6e0f92ee5ed731f /Makefile | |
parent | aa11d1f76179333ef41879169fb2e4ff824b48e3 (diff) | |
download | docs-9f5b5a7ed93a8f9f42260a524f17a02f6f1d8b66.tar.gz docs-9f5b5a7ed93a8f9f42260a524f17a02f6f1d8b66.tar.bz2 docs-9f5b5a7ed93a8f9f42260a524f17a02f6f1d8b66.zip |
un-break doc generation
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -61,7 +61,7 @@ diagrams: arch-api.png # remove all cached state first. html: diagrams # -W = exit 1 on warning; --keep-going = complete build anyway; write log to ~/warnings.log - $(SPHINXBUILD) -W --keep-going -w $(shell echo $HOME)/logs/sphinx-warnings.log -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html + $(SPHINXBUILD) -W --keep-going -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." |