]> git.ipfire.org Git - thirdparty/grub.git/commitdiff
docs: Command-line and menu entry commands are now separated
authorGlenn Washburn <development@efficientek.com>
Sun, 14 May 2023 02:05:35 +0000 (21:05 -0500)
committerDaniel Kiper <daniel.kiper@oracle.com>
Wed, 17 May 2023 16:19:02 +0000 (18:19 +0200)
The menu entry commands now have their own section. Change the wording in
the section that they were in to reflect this.

Signed-off-by: Glenn Washburn <development@efficientek.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
docs/grub.texi

index 36f8d0a96aa864dc48b68c99e648d4b5c1897a5b..4695b2bf99e17efd78e6a727611e25170da657ae 100644 (file)
@@ -3147,9 +3147,8 @@ The command-line interface provides a prompt and after it an editable
 text area much like a command-line in Unix or DOS. Each command is
 immediately executed after it is entered@footnote{However, this
 behavior will be changed in the future version, in a user-invisible
-way.}. The commands (@pxref{Command-line and menu entry commands}) are a
-subset of those available in the configuration file, used with exactly
-the same syntax.
+way.}. The commands (@pxref{Commands}) are a subset of those available
+in the configuration file, used with exactly the same syntax.
 
 Cursor movement and editing of the text on the line can be done via a
 subset of the functions available in the Bash shell:
@@ -3890,7 +3889,7 @@ shell}.
 * Menu-specific commands::
 * Loader commands::
 * General commands::
-* Command-line and menu entry commands::
+* Command-line commands::
 * Networking commands::
 * Undocumented commands::
 @end menu
@@ -4255,8 +4254,8 @@ printed.
 @end deffn
 
 
-@node Command-line and menu entry commands
-@section The list of command-line and menu entry commands
+@node Command-line commands
+@section The list of command-line commands
 
 These commands are usable in the command-line and in menu entries.  If
 you forget a command, you can run the command @command{help}