mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Mark Craig
01.08.2015 91a033f25d6db94942984df58523c11d80d85c9c 
 src/site/site.xml


@@ -89,7 +89,7 @@


   <item name="Server Dev Guide" href="./opendj-server-legacy/doc/bootstrap/server-dev-guide/index.html" />


   <item name="Reference" href="./opendj-server-legacy/doc/bootstrap/reference/index.html" />


   <item name="Config Reference" href="./opendj-server-legacy/configref/index.html" />


   <item name="Plugin Javadoc" href="./opendj-server-legacy/javadoc/index.html" />


   <item name="Plugin Javadoc" href="./opendj-server-legacy/apidocs/index.html" />


   <item name="SDK Release Notes" href="./doc/bootstrap/sdk-release-notes/index.html" />


   <item name="SDK Developer Guide" href="./doc/bootstrap/dev-guide/index.html" />


   <item name="SDK Javadoc" href="./opendj-core/apidocs/index.html" />