From ba4697dfca95f10f5a99984f9ae601166cd0f97e Mon Sep 17 00:00:00 2001
From: Mark Craig <mark.craig@forgerock.com>
Date: Thu, 25 Jun 2015 08:31:50 +0000
Subject: [PATCH] Add missing links to server dev guide
---
opendj-server-legacy/src/site/site.xml | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/opendj-server-legacy/src/site/site.xml b/opendj-server-legacy/src/site/site.xml
index 1bd1365..d2cbd0a 100644
--- a/opendj-server-legacy/src/site/site.xml
+++ b/opendj-server-legacy/src/site/site.xml
@@ -75,6 +75,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="Server Dev Guide" href="./doc/bootstrap/server-dev-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" />
--
Gitblit v1.10.0