Consistently use <sect1> etc rather than <section>; fixes #5009

It might be nicer to actually go the other way, and make everything
use <section> instead, but this fixes the incorrect numbering for
now, and we can look into whether <section> has any disadvantages
later.

diff --git a/docs/users_guide/runtime_control.xml b/docs/users_guide/runtime_control.xml
index 045ea07..be341b2 100644 (file)
--- a/docs/users_guide/runtime_control.xml
+++ b/docs/users_guide/runtime_control.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
 <?xml version="1.0" encoding="iso-8859-1"?>

-<section id="runtime-control">
+<sect1 id="runtime-control">

   <title>Running a compiled program</title>
 
   <indexterm><primary>runtime control of Haskell programs</primary></indexterm>
   <title>Running a compiled program</title>
 
   <indexterm><primary>runtime control of Haskell programs</primary></indexterm>

@@ -21,7 +21,7 @@
     options themselves.
   </para>
 
     options themselves.
   </para>
 

-  <section id="setting-rts-options">
+  <sect2 id="setting-rts-options">

     <title>Setting RTS options</title>
     <indexterm><primary>RTS options, setting</primary></indexterm>
 
     <title>Setting RTS options</title>
     <indexterm><primary>RTS options, setting</primary></indexterm>
 

@@ -53,7 +53,7 @@
       </itemizedlist>
     </para>
 
       </itemizedlist>
     </para>
 

-    <section id="rts-opts-cmdline">
+    <sect3 id="rts-opts-cmdline">

       <title>Setting RTS options on the command line</title>
 
       <para>
       <title>Setting RTS options on the command line</title>
 
       <para>

@@ -127,9 +127,9 @@ $ ./prog -f +RTS -H32m -S -RTS -h foo bar
           <literal>+RTS -M128m -RTS</literal>
           to the command line.
         </para>
           <literal>+RTS -M128m -RTS</literal>
           to the command line.
         </para>

-      </section>
+      </sect3>

 
 

-      <section id="rts-opts-compile-time">
+      <sect3 id="rts-opts-compile-time">

         <title>Setting RTS options at compile time</title>
 
         <para>
         <title>Setting RTS options at compile time</title>
 
         <para>

@@ -139,9 +139,9 @@ $ ./prog -f +RTS -H32m -S -RTS -h foo bar
           set <literal>-H128m -K64m</literal>, link
           with <literal>-with-rtsopts="-H128m -K64m"</literal>.
         </para>
           set <literal>-H128m -K64m</literal>, link
           with <literal>-with-rtsopts="-H128m -K64m"</literal>.
         </para>

-      </section>
+      </sect3>

 
 

-      <section id="rts-options-environment">
+      <sect3 id="rts-options-environment">

         <title>Setting RTS options with the <envar>GHCRTS</envar>
           environment variable</title>
 
         <title>Setting RTS options with the <envar>GHCRTS</envar>
           environment variable</title>
 

@@ -178,9 +178,9 @@ $ ./prog -f +RTS -H32m -S -RTS -h foo bar
           a crawl until the OS decides to kill the process (and you
           hope it kills the right one).
         </para>
           a crawl until the OS decides to kill the process (and you
           hope it kills the right one).
         </para>

-      </section>
+      </sect3>

 
 

-  <section id="rts-hooks">
+  <sect3 id="rts-hooks">

     <title>&ldquo;Hooks&rdquo; to change RTS behaviour</title>
 
     <indexterm><primary>hooks</primary><secondary>RTS</secondary></indexterm>
     <title>&ldquo;Hooks&rdquo; to change RTS behaviour</title>
 
     <indexterm><primary>hooks</primary><secondary>RTS</secondary></indexterm>

@@ -259,11 +259,11 @@ char *ghc_rts_opts = "-H128m -K1m";
     versions in the file
     <filename>ghc/compiler/parser/hschooks.c</filename> in a GHC
     source tree.</para>
     versions in the file
     <filename>ghc/compiler/parser/hschooks.c</filename> in a GHC
     source tree.</para>

-  </section>
+  </sect3>

 
 

-    </section>
+    </sect2>

 
 

-  <section id="rts-options-misc">
+  <sect2 id="rts-options-misc">

     <title>Miscellaneous RTS options</title>
 
     <variablelist>
     <title>Miscellaneous RTS options</title>
 
     <variablelist>

@@ -347,9 +347,9 @@ char *ghc_rts_opts = "-H128m -K1m";
        </listitem>
      </varlistentry>
     </variablelist>
        </listitem>
      </varlistentry>
     </variablelist>

-  </section>
+  </sect2>

 
 

-  <section id="rts-options-gc">
+  <sect2 id="rts-options-gc">

     <title>RTS options to control the garbage collector</title>
 
     <indexterm><primary>garbage collector</primary><secondary>options</secondary></indexterm>
     <title>RTS options to control the garbage collector</title>
 
     <indexterm><primary>garbage collector</primary><secondary>options</secondary></indexterm>

@@ -1032,17 +1032,17 @@ char *ghc_rts_opts = "-H128m -K1m";
       </varlistentry>
     </variablelist>
 
       </varlistentry>
     </variablelist>
 

-  </section>
+  </sect2>

 
 

-  <section>
+  <sect2>

     <title>RTS options for concurrency and parallelism</title>
 
     <para>The RTS options related to concurrency are described in
       <xref linkend="using-concurrent" />, and those for parallelism in
       <xref linkend="parallel-options"/>.</para>
     <title>RTS options for concurrency and parallelism</title>
 
     <para>The RTS options related to concurrency are described in
       <xref linkend="using-concurrent" />, and those for parallelism in
       <xref linkend="parallel-options"/>.</para>

-  </section>
+  </sect2>

 
 

-  <section id="rts-profiling">
+  <sect2 id="rts-profiling">

     <title>RTS options for profiling</title>
 
     <para>Most profiling runtime options are only available when you
     <title>RTS options for profiling</title>
 
     <para>Most profiling runtime options are only available when you

@@ -1073,9 +1073,9 @@ char *ghc_rts_opts = "-H128m -K1m";
         </listitem>
       </varlistentry>
     </variablelist>
         </listitem>
       </varlistentry>
     </variablelist>

-  </section>
+  </sect2>

 
 

-  <section id="rts-eventlog">
+  <sect2 id="rts-eventlog">

     <title>Tracing</title>
 
     <indexterm><primary>tracing</primary></indexterm>
     <title>Tracing</title>
 
     <indexterm><primary>tracing</primary></indexterm>

@@ -1166,9 +1166,9 @@ char *ghc_rts_opts = "-H128m -K1m";
       the binary eventlog file by using the <option>-l</option>
       option.
     </para>
       the binary eventlog file by using the <option>-l</option>
       option.
     </para>

-  </section>
+  </sect2>

 
 

-  <section id="rts-options-debugging">
+  <sect2 id="rts-options-debugging">

     <title>RTS options for hackers, debuggers, and over-interested
     souls</title>
 
     <title>RTS options for hackers, debuggers, and over-interested
     souls</title>
 

@@ -1301,9 +1301,9 @@ char *ghc_rts_opts = "-H128m -K1m";
       </varlistentry>
     </variablelist>
 
       </varlistentry>
     </variablelist>
 

-  </section>
+  </sect2>

 
 

-  <section>
+  <sect2>

     <title>Getting information about the RTS</title>
 
     <indexterm><primary>RTS</primary></indexterm>
     <title>Getting information about the RTS</title>
 
     <indexterm><primary>RTS</primary></indexterm>

@@ -1443,8 +1443,8 @@ $ ./a.out +RTS --info
 
     </variablelist>
 
 
     </variablelist>
 

-  </section>
-</section>
+  </sect2>
+</sect1>

 
 <!-- Emacs stuff:
      ;;; Local Variables: ***
 
 <!-- Emacs stuff:
      ;;; Local Variables: ***