Remove Zeek-specific documentation.

This now lives Zeek-side. This keeps the section structure so that we make things easier to find, and put in pointers to the new Zeek-side documentation It leaves everything in the development section as is; hard to piece apart and seems fine to leave it here.
zeek · Oct 2, 2023 · 2b92da5 · 2b92da5
1 parent ac3f237
commit 2b92da5
Show file tree

Hide file tree

Showing 28 changed files with 35 additions and 2,419 deletions.
diff --git a/doc/Makefile b/doc/Makefile
@@ -55,18 +55,5 @@ doxygen:
 check:
 	@$(SPHINXBUILD) -q -b linkcheck $(SOURCEDIR) $(DESTDIR)/linkcheck
 
-
 spicy-%:
 	git clone https://github.com/zeek/$@
-zeek:
-	git clone https://github.com/zeek/zeek --depth 1
-
-check-zeek-docs: spicy-tftp zeek
-	@echo Refreshing checkouts
-	@for REPO in $^; do (cd $$REPO && git pull && git reset HEAD --hard)>/dev/null; done
-	@
-	@echo Checking whether docs for Zeek integration are up-to-date
-	@./scripts/autogen-zeek-docs zeek spicy-tftp
-	@
-	@git diff --quiet autogen/zeek \
-		|| (echo "Zeek docs are not up-to-date, rerun './scripts/autogen-zeek-docs'." && exit 1)
diff --git a/doc/_static/record-spicy-batch.zeek b/doc/_static/record-spicy-batch.zeek
diff --git a/doc/autogen/zeek/tftp-no-accept.spicy → doc/_static/tftp-no-accept.spicy b/doc/autogen/zeek/tftp-no-accept.spicy → doc/_static/tftp-no-accept.spicy
diff --git a/doc/autogen/zeek/init-bare.zeek b/doc/autogen/zeek/init-bare.zeek
diff --git a/doc/autogen/zeek/init-framework.zeek b/doc/autogen/zeek/init-framework.zeek
diff --git a/doc/autogen/zeek/record-spicy-batch.zeek b/doc/autogen/zeek/record-spicy-batch.zeek
diff --git a/doc/autogen/zeek/tftp.evt b/doc/autogen/zeek/tftp.evt
diff --git a/doc/autogen/zeek/tftp.spicy b/doc/autogen/zeek/tftp.spicy