mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
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" />
