mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
10.43.2015 8d1297301b6e16e1ea520357859489ea514d61ea
src/site/site.xml
@@ -86,6 +86,7 @@
  <menu name="OpenDJ Server Docs" inherit="top">
   <item name="All Formats" href="docs.html" />
   <item name="Release Notes" href="./doc/bootstrap/release-notes/index.html" />
   <item name="Release Notes (OEM)" href="./doc/bootstrap/oem-release-notes/index.html" />
   <item name="Installation Guide" href="./doc/bootstrap/install-guide/index.html" />
   <item name="Administration Guide" href="./doc/bootstrap/admin-guide/index.html" />
   <item name="Server Dev Guide" href="./doc/bootstrap/server-dev-guide/index.html" />