Editorial: add a jumplist given that there are multiple uninstall paths dep...

Mark Craig

03.10.2013 d94ebe9aa2a6d5778733b9663c17d36432b58ef5

 opends/src/main/docbkx/install-guide/chap-uninstall.xml

@@ -32,8 +32,14 @@
 <title>Removing OpenDJ Servers</title>
 <indexterm><primary>Uninstalling</primary></indexterm>
 
 <para>Remove OpenDJ directory server software with the
 <command>/path/to/opendj/uninstall</command> command.</para>
 <itemizedlist>
  <para>This chapter includes the following procedures.</para>

  <listitem><para><xref linkend="uninstall-gui" /></para></listitem>
  <listitem><para><xref linkend="uninstall-cli" /></para></listitem>
  <listitem><para><xref linkend="uninstall-deb" /></para></listitem>
  <listitem><para><xref linkend="uninstall-rpm" /></para></listitem>
 </itemizedlist>
 
 <procedure xml:id="uninstall-gui">
  <title>To Uninstall OpenDJ From the Graphical Uninstaller</title>