mirror of
https://github.com/zeek/zeek.git
synced 2025-10-01 22:28:20 +00:00
Change doc/ subdir into a git submodule
The docs now live at https://github.com/zeek/zeek-docs
This commit is contained in:
parent
0d685efbf5
commit
2ff746fea7
693 changed files with 26 additions and 105609 deletions
11
Makefile
11
Makefile
|
@ -23,15 +23,14 @@ install-aux: configured
|
|||
clean: configured docclean
|
||||
$(MAKE) -C $(BUILD) $@
|
||||
|
||||
doc: configured
|
||||
$(MAKE) -C $(BUILD) $@
|
||||
doc:
|
||||
$(MAKE) -C doc $@
|
||||
|
||||
docclean: configured
|
||||
$(MAKE) -C $(BUILD) $@
|
||||
docclean:
|
||||
(cd doc && make clean)
|
||||
|
||||
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
|
||||
$(MAKE) -C doc $@
|
||||
|
||||
dist:
|
||||
@test -e ../$(VERSION_FULL) && rm -ri ../$(VERSION_FULL) || true
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue