diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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." |