From 3ddae00d055d892f1f3d5a839e0ca0761057b9b4 Mon Sep 17 00:00:00 2001
From: buckE <buckE@disroot.org>
Date: Wed, 24 Jun 2020 06:47:17 +0000
Subject: makefile

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1d515e27..7c23a880 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 -w  $(shell echo $HOME)/logs/sphinx-warnings.log -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
 
-- 
cgit v1.2.3