mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
06.10.2015 4541e4300782132db5975194123047833c70461d
opendj3-server-dev/src/site/xdoc/docs.xml
@@ -63,6 +63,12 @@
     <a href="./doc/OpenDJ-Admin-Guide.pdf">PDF</a>
    </dd>
    <dt>Reference</dt>
    <dd>
     <a href="./doc/bootstrap/reference/index.html">HTML</a>
     <a href="./doc/OpenDJ-Reference.pdf">PDF</a>
    </dd>
    <dt>Developer Guide</dt>
    <dd>
     <a href="../doc/bootstrap/dev-guide/index.html">HTML</a>