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

Mark Craig
16.00.2013 2386bcc06f34586119cafb7e5d3fa2a9c39a627f
opends/src/main/docbkx/admin-guide/index.xml
@@ -136,6 +136,7 @@
   <xinclude:include href='man-uninstall.xml' />
   <xinclude:include href='man-upgrade.xml' />
   <xinclude:include href='man-verify-index.xml' />
   <xinclude:include href='man-windows-service.xml' />
 </reference>
 <xinclude:include href="../shared/glossary.xml" />