mirror of
https://github.com/zeek/zeek.git
synced 2025-10-01 22:28:20 +00:00
Add a make livehtml
target
This commit is contained in:
parent
a80d7ead6c
commit
a46967bad8
2 changed files with 9 additions and 1 deletions
6
Makefile
6
Makefile
|
@ -29,6 +29,10 @@ doc: configured
|
|||
docclean: configured
|
||||
$(MAKE) -C $(BUILD) $@
|
||||
|
||||
livehtml:
|
||||
@mkdir -p build/doc/html
|
||||
sphinx-autobuild --ignore "testing/*" --ignore "*.git/*" --ignore "*.lock" --ignore "*.pyc" --ignore "*.swp" --ignore "*.swpx" --ignore "*.swx" -b html ./doc ./build/doc/html
|
||||
|
||||
dist:
|
||||
@test -e ../$(VERSION_FULL) && rm -ri ../$(VERSION_FULL) || true
|
||||
@cp -R . ../$(VERSION_FULL)
|
||||
|
@ -63,4 +67,4 @@ configured:
|
|||
@test -d $(BUILD) || ( echo "Error: No build/ directory found. Did you run configure?" && exit 1 )
|
||||
@test -e $(BUILD)/Makefile || ( echo "Error: No build/Makefile found. Did you run configure?" && exit 1 )
|
||||
|
||||
.PHONY : all install clean doc docclean dist distclean configured
|
||||
.PHONY : all install clean doc docclean dist distclean configured livehtml
|
||||
|
|
|
@ -22,3 +22,7 @@ render the reST files into HTML. That target depends on:
|
|||
* `Read the Docs Sphinx Theme <https://github.com/rtfd/sphinx_rtd_theme>`_
|
||||
|
||||
After the build completes, HTML documentation is symlinked in ``build/html``.
|
||||
|
||||
There's also a ``make livehtml`` target in the top-level Makefile that
|
||||
is useful for editing the reST files and seeing changes rendered out live
|
||||
to a separate HTML browser.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue