diff options
| author | Tom Hiller <thrilleratplay@gmail.com> | 2018-08-18 19:20:16 -0400 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-08-23 15:54:49 +0000 |
| commit | 651b11be2d850ddef2be9aa811c5ce6102c4749c (patch) | |
| tree | a9b1563f5ec1575e527b0f71000a1182b408e6c8 /Documentation/Makefile.sphinx | |
| parent | ab36e26caa1f3156e5a039fcf4dc0fc848101f34 (diff) | |
| download | coreboot-651b11be2d850ddef2be9aa811c5ce6102c4749c.tar.gz coreboot-651b11be2d850ddef2be9aa811c5ce6102c4749c.tar.bz2 coreboot-651b11be2d850ddef2be9aa811c5ce6102c4749c.zip | |
Documentation: Add make rule for sphinx-autobuild
Add livesphinx to start sphinx-autobuild
Change-Id: I9eb3217e758c2c882c759fa7ae75a39aaf1a0358
Signed-off-by: Tom Hiller <thrilleratplay@gmail.com>
Reviewed-on: https://review.coreboot.org/28210
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'Documentation/Makefile.sphinx')
| -rw-r--r-- | Documentation/Makefile.sphinx | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 2357f186cf1b..8c10a9f9472c 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -2,10 +2,11 @@ # # You can set these variables from the command line. -SPHINXOPTS = -SPHINXBUILD = sphinx-build -PAPER = -BUILDDIR = _build +SPHINXOPTS = +SPHINXBUILD = sphinx-build +SPHINXAUTOBUILD = sphinx-autobuild +PAPER = +BUILDDIR = _build # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 @@ -54,6 +55,12 @@ html: @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." +.PHONY: livehtml +livehtml: + $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR) + @echo + @echo "Autobuild finished. The HTML pages are in $(BUILDDIR)." + .PHONY: dirhtml dirhtml: $(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml |