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 02f47a71bc717c8148c48396455948c2cca35574..437281c26c0566c5acbe1eeea79a40cb553f06f5 100644 (file)
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -1,5 +1,5 @@
 
 
@@ -174,20 +174,21 @@ PostgreSQL documentation
  
   Options
 
-    
-     -c
-     
-      
-       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.
-      
-     
-    
-
     
+
+     
+      -c
+      
+       
+        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.
+       
+      
+     
+
      
       -D datadir