diff options
| author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | 2018-10-10 14:22:51 +0200 |
|---|---|---|
| committer | Philipp Deppenwiese <zaolin.daisuki@gmail.com> | 2018-10-11 01:22:35 +0000 |
| commit | 806ad196f3f32ce227d63cc05ee522866df88c01 (patch) | |
| tree | f97e855ea0e11d015fa494e8b1db7d4eba7c0e9d /Documentation/Makefile.sphinx | |
| parent | d3037bdf64908c9076aa6e5620ce50099813a810 (diff) | |
| download | coreboot-806ad196f3f32ce227d63cc05ee522866df88c01.tar.gz coreboot-806ad196f3f32ce227d63cc05ee522866df88c01.tar.bz2 coreboot-806ad196f3f32ce227d63cc05ee522866df88c01.zip | |
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/Makefile.sphinx')
| -rw-r--r-- | Documentation/Makefile.sphinx | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 5236f3e2764f..caa8190a3234 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: |