Re: patch for the commands chapter (fix)

[Alessandro Rubini]

This fixes the compilation problems, must be applied on top of my
patch of this night.

--- ./user-ref.texi     Fri Oct  6 14:35:02 2000
+++ ./user-ref.texi     Fri Oct  6 14:43:09 2000
@@ -519,7 +519,7 @@
 @end deffn
 
 
address@hidden Command-line and menu commands::
address@hidden Command-line and menu commands
 @section The list of command-line and menu commands
 
 Commands usable both in the menu and in the command line.
--- ./prog-ref.texi.mypatch     Fri Oct  6 14:38:57 2000
+++ ./prog-ref.texi     Fri Oct  6 14:43:12 2000
@@ -368,7 +368,7 @@
 If the INT 13 handler returns, the TF flag is cleared automatically by
 the instruction @code{iret}, and then output the I/O map on the screen.
 See the source code for the command @command{ioprobe}
-(@pxref{Command-line-specific commands}), for more information.
+(@pxref{Command-line and menu entry commands}), for more information.
 
 
 @node Memory detection
--- ./tutorial.texi.mypatch     Fri Oct  6 14:39:07 2000
+++ ./tutorial.texi     Fri Oct  6 14:43:11 2000
@@ -509,7 +509,7 @@
 option to the kernel, to let it use less than actual memory size, you
 will also have to specify the same memory size to GRUB. To let GRUB know
 the size, run the command @command{uppermem} @emph{before} loading the
-kernel. @xref{Command-line-specific commands}, for more information.
+kernel. @xref{Command-line and menu entry commands}, for more information.
 
 @node FreeBSD
 @subsection FreeBSD
@@ -949,8 +949,8 @@
 
 In the last entry, the command @command{color} is used, to change the
 menu colors (try it!). This command is somewhat special, because it can
-be used both in the command-line and in the menu (@pxref{General
-commands}). GRUB has several such commands, see the user reference.
+be used both in the command-line and in the menu (@pxref{Command-line
+and menu commands}). GRUB has several such commands, see the user reference.
 
 We hope that you now understand how to use the basic features of
 GRUB. To learn more about GRUB, see the User Reference Manual