external-software/github_OpenIdentityPlatform_OpenDJ.git

external-software / github_OpenIdentityPlatform_OpenDJ

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

summary
commits
tree
docs
forks
compare

Attempt to make the PDF output easier to read, and eliminate need for width...

Mark Craig

05.26.2011 b903538ccc9c4df9657fd04fa81b457fecdd4803

 opendj-sdk/opendj3/src/main/docbkx/shared/man-uninstall.xml

@@ -285,7 +285,7 @@
  <title>Examples</title>
  <para>The following command removes OpenDJ directory server without
  interaction.</para>
  <screen width="80">$ ./OpenDJ/uninstall -a --cli -I admin -w password -n
  <screen>$ ./OpenDJ/uninstall -a --cli -I admin -w password -n

Stopping Directory Server ..... Done.
Deleting Files under the Installation Path ..... Done.

			@@ -285,7 +285,7 @@
			<title>Examples</title>
			<para>The following command removes OpenDJ directory server without
			interaction.</para>
			<screen width="80">$ ./OpenDJ/uninstall -a --cli -I admin -w password -n
			<screen>$ ./OpenDJ/uninstall -a --cli -I admin -w password -n

			Stopping Directory Server ..... Done.
			Deleting Files under the Installation Path ..... Done.