From ccf586100520ea3c56651403d005c78115f42497 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 23 Jun 2020 22:36:50 +0200 Subject: do NOT hardcode paths like /home/docbuilder in Makefile --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 60745923..76a2198e 100644 --- a/Makefile +++ b/Makefile @@ -60,8 +60,8 @@ diagrams: arch-api.png # The html-linked builder does not support caching, so we # 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 /home/docbuilder/sphinx-warnings.log -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html +# -W = exit 1 on warning; --keep-going = complete build anyway; write log to ~/warnings.log + $(SPHINXBUILD) -W --keep-going -w warnings.log -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." -- cgit v1.2.3