diff --git a/doc/src/05000-lib-module.md b/doc/src/05000-lib-module.md
deleted file mode 100644
index 1eb4a133..00000000
--- a/doc/src/05000-lib-module.md
+++ /dev/null
@@ -1,4 +0,0 @@
-# libmodule {#sec:libmodule}
-
-<!-- Basic common functionality for all modules -->
-