summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2020-06-23 22:36:50 +0200
committerChristian Grothoff <christian@grothoff.org>2020-06-23 22:36:50 +0200
commitccf586100520ea3c56651403d005c78115f42497 (patch)
tree438763be523ed88e9d423410c3d382879abbeb52 /Makefile
parent3e8ca50bb60de1f47cc3380dc3db331399ce1178 (diff)
downloaddocs-ccf586100520ea3c56651403d005c78115f42497.tar.gz
docs-ccf586100520ea3c56651403d005c78115f42497.tar.bz2
docs-ccf586100520ea3c56651403d005c78115f42497.zip
do NOT hardcode paths like /home/docbuilder in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
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."