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