From 807b718358f75ab0d5597cc29bc4ce8ef7c30c65 Mon Sep 17 00:00:00 2001 From: Jakob Stoklund Olesen Date: Tue, 5 Apr 2016 11:11:53 -0700 Subject: [PATCH] Add an autohtml target to docs/Makefile. This runs the convenient sphinx-autobuild web server for docs development. --- cranelift/docs/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cranelift/docs/Makefile b/cranelift/docs/Makefile index 619d2caf24..598a13b496 100644 --- a/cranelift/docs/Makefile +++ b/cranelift/docs/Makefile @@ -4,6 +4,7 @@ # You can set these variables from the command line. SPHINXOPTS = SPHINXBUILD = sphinx-build +SPHINXABUILD = sphinx-autobuild PAPER = BUILDDIR = _build @@ -56,6 +57,9 @@ html: @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." +autohtml: html + $(SPHINXABUILD) -z ../meta -b html -E $(ALLSPHINXOPTS) $(BUILDDIR)/html + dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml @echo