]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4127ea3) | patch
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)
commitc3161ff547f76a7a98f58ec17f37dce18b75e9f0
treebee1364dc75f5e1ddfc743da296b1e53cf055e9atree
parent4127ea3a9ae0831018d48d91003389e57e47708fcommit | diff
docs: Command-line and menu entry commands are now separated

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 diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git