diff --git a/.gitmodules b/.gitmodules
index b9cfdcb91b..01d43a6468 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -16,9 +16,6 @@
 [submodule "auxil/netcontrol-connectors"]
 	path = auxil/netcontrol-connectors
 	url = https://github.com/zeek/zeek-netcontrol
-[submodule "doc"]
-	path = doc
-	url = https://github.com/zeek/zeek-docs
 [submodule "auxil/paraglob"]
 	path = auxil/paraglob
 	url = https://github.com/zeek/paraglob
diff --git a/doc b/doc
deleted file mode 160000
index 2731def915..0000000000
--- a/doc
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 2731def9159247e6da8a3191783c89683363689c