Merge remote-tracking branch 'origin/topic/robin/remove-zeek-docs'

* origin/topic/robin/remove-zeek-docs:
  Remove Zeek-specific documentation.

CHANGES

@@ -1,3 +1,15 @@
+1.9.0-dev.146 | 2023-10-13 12:26:24 +0200
+
+  * Remove Zeek-specific documentation. (Robin Sommer, Corelight)
+
+    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.
+
 1.9.0-dev.144 | 2023-10-13 11:47:35 +0200
 
   * GH-1571: Remove trimming inside individual chunks. (Benjamin Bannier, Corelight)

VERSION

@@ -1 +1 @@
-1.9.0-dev.144
+1.9.0-dev.146

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)