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

Mark Craig
05.26.2011 b903538ccc9c4df9657fd04fa81b457fecdd4803
opendj-sdk/opendj3/src/main/docbkx/shared/man-dsjavaproperties.xml
@@ -103,7 +103,7 @@
 </refsect1>
 <refsect1>
  <title>Examples</title>
  <screen width="80">$ dsjavaproperties
  <screen>$ dsjavaproperties
The operation was successful.  The server commands will use the java arguments
 and java home specified in the properties file located in
 /path/to/OpenDJ/config/java.properties</screen>