diff --git a/documentation/src/site/site.xml b/documentation/src/site/site.xml
index c30a206..8eefab7 100644
--- a/documentation/src/site/site.xml
+++ b/documentation/src/site/site.xml
@@ -92,6 +92,12 @@
         </item>
       </item>
     </menu>
+
+    <menu name="Developer Guide">
+      <item name="Build instructions" href="/devguide/build.html"/>
+      <item name="Committer guideline" href="/devguide/committer_guideline.html"/>
+      <item name="Release guide" href="/devguide/release_guide.html"/>
+    </menu>
   </body>
 
 </project>