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

Mark Craig
06.10.2015 4541e4300782132db5975194123047833c70461d
opendj3-server-dev/src/site/site.xml
@@ -76,6 +76,7 @@
      <item name="Release Notes" href="./doc/bootstrap/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="Reference" href="./doc/bootstrap/reference/index.html" />
      <item name="Config Reference" href="./configref/index.html" />
      <item name="Plugin Javadoc" href="./javadoc/index.html" />
    </menu>