commit ccf586100520ea3c56651403d005c78115f42497 parent 3e8ca50bb60de1f47cc3380dc3db331399ce1178 Author: Christian Grothoff <christian@grothoff.org> Date: Tue, 23 Jun 2020 22:36:50 +0200 do NOT hardcode paths like /home/docbuilder in Makefile Diffstat:
| M | Makefile | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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."