diff options
| author | Tom Hiller <thrilleratplay@gmail.com> | 2018-08-23 22:03:18 -0400 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2018-08-27 16:52:46 +0000 |
| commit | c3e5dd4cd8d138c9e44cd77a6add474cc6f9effc (patch) | |
| tree | 0cb838f8532d42c6e68e92e2fd035809d0567b90 | |
| parent | 5e90ef8c356099e42612bc97976c67092d0810ff (diff) | |
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>
| -rw-r--r-- | Documentation/Makefile.sphinx | 2 |
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)." |