[m-rev.] diff: fix texinfo warnings in user's guide

[Julien Fischer]

Branches: master, 14.01
----------------------

Fix warnings from texinfo in User's guide.

doc/user_guide.texi:
 	Fix spots where there were ordering mismatches between the menus
 	and the sectioning.

Julien.

diff --git a/doc/user_guide.texi b/doc/user_guide.texi
index 70a7c2f..f75ccd2 100644
--- a/doc/user_guide.texi
+++ b/doc/user_guide.texi
@@ -4255,6 +4255,50 @@ command.  See also `trust' and `trusted'.
  @end table

  @sp 1
+ at node Miscellaneous commands
+ at subsection Miscellaneous commands
+
+ at sp 1
+ at table @code
+ at item source [-i] @var{filename} [@var{args}]
+ at kindex source (mdb command)
+Executes the commands in the file named @var{filename}.
+Optionally a list of at most nine arguments can be given.
+Occurrences of the strings "$1" to "$9" in the sourced file
+will be replaced by the corresponding arguments given in the source
+command before the commands in the sourced file are executed.
+ at sp 1
+Lines that start with a hash (#) character are ignored.
+Hash characters can be used to place comments in your mdb scripts.
+ at sp 1
+The option @samp{-i} or @samp{--ignore-errors} tells @samp{mdb}
+not to complain if the named file does not exist or is not readable.
+ at sp 1
+ at item save @var{filename}
+ at kindex save (mdb command)
+Saves the persistent state of the debugger
+(aliases, print level, scroll controls,
+set of breakpoints, browser parameters,
+set of objects trusted by the declarative debugger, etc)
+to the specified file.
+The state is saved in the form of mdb commands,
+so that sourcing the file will recreate the saved state.
+Note that this command does not save transient state,
+such as the current event.
+There is also a small part of the persistent state
+(breakpoints established with a @samp{break here} command)
+that cannot be saved.
+ at sp 1
+ at item quit [-y]
+ at kindex quit (mdb command)
+Quits the debugger and aborts the execution of the program.
+If the option @samp{-y} is not present, asks for confirmation first.
+Any answer starting with @samp{y}, or end-of-file, is considered confirmation.
+ at sp 1
+End-of-file on the debugger's input is considered a quit command.
+ at end table
+
+ at sp 1
  @node Experimental commands
  @subsection Experimental commands

@@ -4395,49 +4439,6 @@ and its submodules, if any.
  @end table

  @sp 1
- at node Miscellaneous commands
- at subsection Miscellaneous commands
-
- at sp 1
- at table @code
- at item source [-i] @var{filename} [@var{args}]
- at kindex source (mdb command)
-Executes the commands in the file named @var{filename}.
-Optionally a list of at most nine arguments can be given.
-Occurrences of the strings "$1" to "$9" in the sourced file
-will be replaced by the corresponding arguments given in the source
-command before the commands in the sourced file are executed.
- at sp 1
-Lines that start with a hash (#) character are ignored.
-Hash characters can be used to place comments in your mdb scripts.
- at sp 1
-The option @samp{-i} or @samp{--ignore-errors} tells @samp{mdb}
-not to complain if the named file does not exist or is not readable.
- at sp 1
- at item save @var{filename}
- at kindex save (mdb command)
-Saves the persistent state of the debugger
-(aliases, print level, scroll controls,
-set of breakpoints, browser parameters,
-set of objects trusted by the declarative debugger, etc)
-to the specified file.
-The state is saved in the form of mdb commands,
-so that sourcing the file will recreate the saved state.
-Note that this command does not save transient state,
-such as the current event.
-There is also a small part of the persistent state
-(breakpoints established with a @samp{break here} command)
-that cannot be saved.
- at sp 1
- at item quit [-y]
- at kindex quit (mdb command)
-Quits the debugger and aborts the execution of the program.
-If the option @samp{-y} is not present, asks for confirmation first.
-Any answer starting with @samp{y}, or end-of-file, is considered confirmation.
- at sp 1
-End-of-file on the debugger's input is considered a quit command.
- at end table
-
  @node Developer commands
  @subsection Developer commands

@@ -6348,8 +6349,8 @@ use @samp{mmc --help} to get the most up-to-date list.

  @menu
  * Invocation overview::
-* Verbosity options::
  * Warning options::
+* Verbosity options::
  * Output options::
  * Auxiliary output options::
  * Language semantics options::
@@ -7578,9 +7579,9 @@ them in @samp{MCFLAGS}, @samp{MGNUCFLAGS} and @samp{MLFLAGS}.
  @menu
  * Grades and grade components::                 Setting the compilation model
  * Target options::                              Choosing a target language
-* Optional features compilation model options:: Debugging, Profiling, etc.
  * LLDS back-end compilation model options::     For the original back-end
  * MLDS back-end compilation model options::     For the new high-level back-end
+* Optional features compilation model options:: Debugging, Profiling, etc.
  * Developer compilation model options::         Not for general use
  @end menu

@@ -8496,8 +8497,8 @@ Assume that @var{n} float temporaries will fit into real machine registers.
  * Overall optimization options::
  * High-level (HLDS -> HLDS) optimization options::
  * MLDS backend (MLDS -> MLDS) optimization options::
-* Medium-level (HLDS -> LLDS) optimization options::
  * Erlang (HLDS -> ELDS) optimization options::
+* Medium-level (HLDS -> LLDS) optimization options::
  * Low-level (LLDS -> LLDS) optimization options::
  * Output-level (LLDS -> C) optimization options::
  @end menu