Remove some outdated ToDo items

[web.git] / docs / index.txt

diff --git a/docs/index.txt b/docs/index.txt
index 7e18797722ee808e2090d8956aed97798b915421..882ca1d343859a87dc7e340fb8ddd477884fcc99 100644 (file)
--- a/docs/index.txt
+++ b/docs/index.txt
@@ -3,8 +3,6 @@
 Documentation Index
 ===================
 
-include::menu.inc[]
-
 == The Web Presence
 
 The documentation  you're reading is generated from text files using the