From 31d35d74bdea8ad72ed2976e469e9a9fde942a86 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-sdk/src/site/xdoc/docs.xml | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/opendj-sdk/src/site/xdoc/docs.xml b/opendj-sdk/src/site/xdoc/docs.xml
index 76a6af1..2af203d 100644
--- a/opendj-sdk/src/site/xdoc/docs.xml
+++ b/opendj-sdk/src/site/xdoc/docs.xml
@@ -56,6 +56,12 @@
<a href="./opendj-server-legacy/doc/OpenDJ-Admin-Guide.pdf">PDF</a>
</dd>
+ <dt>Server Dev Guide</dt>
+ <dd>
+ <a href="./opendj-server-legacy/doc/bootstrap/server-dev-guide/index.html">HTML</a>,
+ <a href="./opendj-server-legacy/doc/OpenDJ-Server-Dev-Guide.pdf">PDF</a>
+ </dd>
+
<dt>Reference</dt>
<dd>
<a href="./opendj-server-legacy/doc/bootstrap/reference/index.html">HTML</a>,
--
Gitblit v1.10.0