summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJonathan Neuschäfer <j.neuschaefer@gmx.net>2018-10-10 14:22:51 +0200
committerPhilipp Deppenwiese <zaolin.daisuki@gmail.com>2018-10-11 01:22:35 +0000
commit806ad196f3f32ce227d63cc05ee522866df88c01 (patch)
treef97e855ea0e11d015fa494e8b1db7d4eba7c0e9d /Documentation
parentd3037bdf64908c9076aa6e5620ce50099813a810 (diff)
downloadcoreboot-806ad196f3f32ce227d63cc05ee522866df88c01.tar.xz
Documentation: Improve message printed by livesphinx target
Printing "Autobuild finished" after the autobuild server exits (which normally doesn't happen) is not very useful. Change-Id: I909d7ab5f399993dbb1916e66ba94c48d7bc53bf Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net> Reviewed-on: https://review.coreboot.org/28992 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/Makefile.sphinx5
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx
index 5236f3e276..caa8190a32 100644
--- a/Documentation/Makefile.sphinx
+++ b/Documentation/Makefile.sphinx
@@ -57,9 +57,10 @@ html:
.PHONY: livehtml
livehtml:
- $(SPHINXAUTOBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)
+ @echo "Starting sphinx-autobuild. The HTML pages are in $(BUILDDIR)."
+ @echo "Press Ctrl-C to stop."
@echo
- @echo "Autobuild finished. The HTML pages are in $(BUILDDIR)."
+ $(SPHINXAUTOBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)
.PHONY: dirhtml
dirhtml: