Fix markup problem with recent pg_ctl change.

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 4f1984dad9df8928d9f29b5fe991ea311fb482b0..7e8a5270df6c3a216f0c60ba5fcb9e42c21aa910 100644 (file)
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -174,20 +174,21 @@ PostgreSQL documentation
  <refsect1 id="app-pg-ctl-options">
   <title>Options</title>
 
-    <varlistentry>
-     <term><option>-c</option></term>
-     <listitem>
-      <para>
-       Attempt to allow server crashes to produce core files, on platforms
-       where this available, by lifting any soft resource limit placed on 
-       them. 
-       This is useful in debugging or diagnosing problems by allowing a 
-       stack trace to be obtained from a failed server process.
-      </para>
-     </listitem>
-    </varlistentry>
-
     <variablelist>
+
+     <varlistentry>
+      <term><option>-c</option></term>
+      <listitem>
+       <para>
+        Attempt to allow server crashes to produce core files, on platforms
+        where this available, by lifting any soft resource limit placed on 
+        them. 
+        This is useful in debugging or diagnosing problems by allowing a 
+        stack trace to be obtained from a failed server process.
+       </para>
+      </listitem>
+     </varlistentry>
+
      <varlistentry>
       <term><option>-D <replaceable class="parameter">datadir</replaceable></option></term>
       <listitem>