diff --git a/documentation/dev-manual/dev-manual-newbie.xml b/documentation/dev-manual/dev-manual-newbie.xml
index c1e81a6772..bf2576c3f2 100644
--- a/documentation/dev-manual/dev-manual-newbie.xml
+++ b/documentation/dev-manual/dev-manual-newbie.xml
@@ -137,8 +137,8 @@
on the server.
- The gitolite master index:
- All topics for gitolite.
+ Gitolite:
+ Information for gitolite.
Interfaces, frontends, and tools: