From 9f5b5a7ed93a8f9f42260a524f17a02f6f1d8b66 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 24 Jun 2020 18:06:37 +0530
Subject: un-break doc generation

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1d515e27..da61fa46 100644
--- 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."
 
-- 
cgit v1.2.3