Add missing links to server dev guide

Mark Craig

25.31.2015 ba4697dfca95f10f5a99984f9ae601166cd0f97e

 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>