summaryrefslogtreecommitdiff
path: root/Documentation/Makefile.sphinx
diff options
context:
space:
mode:
authorTom Hiller <thrilleratplay@gmail.com>2018-08-23 22:03:18 -0400
committerMartin Roth <martinroth@google.com>2018-08-27 16:52:46 +0000
commitc3e5dd4cd8d138c9e44cd77a6add474cc6f9effc (patch)
tree0cb838f8532d42c6e68e92e2fd035809d0567b90 /Documentation/Makefile.sphinx
parent5e90ef8c356099e42612bc97976c67092d0810ff (diff)
downloadcoreboot-c3e5dd4cd8d138c9e44cd77a6add474cc6f9effc.tar.xz
Documentation: Fix make rule for sphinx-autobuild
Execute sphinx-autobuild for livesphinx make rule Change-Id: I725392f1f132101eede8fed75e8d225c972ad1fe Signed-off-by: Tom Hiller <thrilleratplay@gmail.com> Reviewed-on: https://review.coreboot.org/28326 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Diffstat (limited to 'Documentation/Makefile.sphinx')
-rw-r--r--Documentation/Makefile.sphinx2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx
index 8c10a9f947..5236f3e276 100644
--- a/Documentation/Makefile.sphinx
+++ b/Documentation/Makefile.sphinx
@@ -57,7 +57,7 @@ html:
.PHONY: livehtml
livehtml:
- $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)
+ $(SPHINXAUTOBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)
@echo
@echo "Autobuild finished. The HTML pages are in $(BUILDDIR)."