commit 9f5b5a7ed93a8f9f42260a524f17a02f6f1d8b66
parent aa11d1f76179333ef41879169fb2e4ff824b48e3
Author: Florian Dold <florian.dold@gmail.com>
Date: Wed, 24 Jun 2020 18:06:37 +0530
un-break doc generation
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -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."