From c3e5dd4cd8d138c9e44cd77a6add474cc6f9effc Mon Sep 17 00:00:00 2001 From: Tom Hiller Date: Thu, 23 Aug 2018 22:03:18 -0400 Subject: [PATCH] Documentation: Fix make rule for sphinx-autobuild Execute sphinx-autobuild for livesphinx make rule Change-Id: I725392f1f132101eede8fed75e8d225c972ad1fe Signed-off-by: Tom Hiller Reviewed-on: https://review.coreboot.org/28326 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Rudolph --- Documentation/Makefile.sphinx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)."