mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
ded98cd373
This is based on commit 2731def9159247e6da8a3191783c89683363689c from the zeek-docs repo.
37 lines
930 B
Makefile
37 lines
930 B
Makefile
SPHINXOPTS =
|
|
|
|
NUMJOBS ?= auto
|
|
|
|
all: html
|
|
|
|
doc: html
|
|
|
|
builddir:
|
|
mkdir -p build/html
|
|
|
|
clean:
|
|
rm -rf build/html
|
|
|
|
html: builddir
|
|
sphinx-build -j $(NUMJOBS) -b html $(SPHINXOPTS) . ./build/html
|
|
|
|
livehtml: builddir
|
|
sphinx-autobuild --ignore "*.git/*" --ignore "*.lock" --ignore "*.pyc" --ignore "*.swp" --ignore "*.swpx" --ignore "*.swx" -b html $(SPHINXOPTS) . ./build/html
|
|
|
|
commit:
|
|
git add * && git commit -m 'Update generated docs'
|
|
|
|
spicy-%:
|
|
git clone https://github.com/zeek/$@
|
|
|
|
check-spicy-docs: spicy-tftp
|
|
@echo Refreshing checkouts
|
|
@for REPO in $^; do (cd $$REPO && git pull && git reset HEAD --hard)>/dev/null; done
|
|
@
|
|
@echo Checking whether docs for Spicy integration are up-to-date
|
|
@./devel/spicy/autogen-spicy-docs spicy-tftp
|
|
@
|
|
@git diff --quiet devel/spicy/autogen/ \
|
|
|| (echo "Spicy docs are not up-to-date, rerun './devel/spicy/autogen-spicy-docs'." && exit 1)
|
|
|
|
.PHONY : all doc builddir clean html livehtml
|