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