Make Options for Windows a second-level heading instead of first-level.

diff --git a/doc/src/sgml/ref/pg_ctl-ref.sgml b/doc/src/sgml/ref/pg_ctl-ref.sgml
index 9bc911ad5879d3fb1925efce499d7354bbe082a6..df5b3755b5360ad86c3246493bc979d040e534a0 100644 (file)
--- a/doc/src/sgml/ref/pg_ctl-ref.sgml
+++ b/doc/src/sgml/ref/pg_ctl-ref.sgml
@@ -1,5 +1,5 @@
 
 
@@ -172,8 +172,6 @@ PostgreSQL documentation
  
   Options
 
-  
-
     
      
       -D datadir
@@ -278,12 +276,10 @@ PostgreSQL documentation
       
      
    
-  
- 
 
- options">
-  Windows option</span>s
-  
+  options">
+   Options for Window</span>s
+
    
     
      -N servicename
@@ -314,7 +310,8 @@ PostgreSQL documentation
      
     
    
-  
+  
+