--- web/index.xml	2007/07/10 17:54:03	680
+++ web/index.xml	2007/07/10 17:54:10	681
@@ -18,7 +18,7 @@
 <include file="download.xml"/>
 <include file="bench.xml"/>
 <include file="papers.xml"/>
-<include file="manual.xml"/>
+<include file="documentation.xml"/>
 <include file="examples.xml"/>
 <include file="hacking.xml"/>
 <include file="mailing.xml"/>