Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-17 05:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
19706 commits 387 branches 198 tags 286 MiB
Commit graph

5 commits

Author SHA1 Message Date
Tim Wojtulewicz
e90d8f37f1 Regenerate docs with src and script changes 2025-10-14 16:30:32 +00:00
Tim Wojtulewicz
adce4e604a Copy docs into Zeek repo directly 
This is based on commit 99e6942efec5feff50523f6b2a1f5868f19ab638 from the
zeek-docs repo.
 2025-10-13 11:06:48 -07:00
Jon Siwek
2ff746fea7 Change doc/ subdir into a git submodule 
The docs now live at https://github.com/zeek/zeek-docs
 2019-01-17 14:15:45 -06:00
Jon Siwek
5ebe47ec23 Remove "contents" Sphinx directive usages 
Seems redundant: same info is always available in RTD theme's
floating sidebar.
 2018-12-19 17:28:17 -06:00
Jon Siwek
7e9d48f532 Remove broxygen Sphinx integration 
The broxygen-generated files now live in the git repo, have tests
that check that they are up-to-date, and a script to re-generate
them on-demand.
 2018-12-18 10:15:22 -06:00