git: b73963c22d - main - FreeBSD Handbook: FreeBSD Boot Process: directions for users of GNU GRUB

The branch main has been updated by grahamperrin:

URL: https://cgit.FreeBSD.org/doc/commit/?id=b73963c22db349cd2e48db1eb06699574c49ddc2

commit b73963c22db349cd2e48db1eb06699574c49ddc2
Author:     Graham Perrin <grahamperrin@FreeBSD.org>
AuthorDate: 2022-09-24 06:06:23 +0000
Commit:     Graham Perrin <grahamperrin@FreeBSD.org>
CommitDate: 2022-09-24 06:06:23 +0000

    FreeBSD Handbook: FreeBSD Boot Process: directions for users of GNU GRUB
    
    Use uppercase for GRUB.
    
    Prepare a link to the frequently asked question about GRUB. In the pull
    request: pauamma suggested not linking from the Handbook, to FAQs,
    until all FAQ translations are at least as current as the corresponding
    Handbook translation.
    
    Add a note, directing users of GRUB to GNU-provided documentation.
    
    Reviewed by:           pauamma, bcr, gjb (mentor)
    Approved by:           gjb
    Pull request:          https://github.com/freebsd/freebsd-doc/pull/87
    Differential revision: https://reviews.freebsd.org/D36681
---
 documentation/content/en/books/handbook/boot/_index.adoc | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/documentation/content/en/books/handbook/boot/_index.adoc b/documentation/content/en/books/handbook/boot/_index.adoc
index 065016c03e..7784ff3456 100644
--- a/documentation/content/en/books/handbook/boot/_index.adoc
+++ b/documentation/content/en/books/handbook/boot/_index.adoc
@@ -103,7 +103,13 @@ Work is under way to provide direct UEFI booting.
 
 The code within the MBR is typically referred to as a _boot manager_, especially when it interacts with the user.
 The boot manager usually has more code in the first track of the disk or within the file system.
-Examples of boot managers include the standard FreeBSD boot manager boot0, also called Boot Easy, and Grub, which is used by many Linux(R) distributions.
+Examples of boot managers include the standard FreeBSD boot manager boot0, also called Boot Easy, and GNU GRUB, which is used by many Linux(R) distributions.
+
+[NOTE]
+====
+// There is extref:{faq}[a frequently asked question] about GRUB. Beyond the answer there, //
+Users of GRUB should refer to https://www.gnu.org/software/grub/grub-documentation.html[GNU-provided documentation].
+====
 
 If only one operating system is installed, the MBR searches for the first bootable (active) slice on the disk, and then runs the code on that slice to load the remainder of the operating system.
 When multiple operating systems are present, a different boot manager can be installed to display a list of operating systems so the user can select one to boot.
@@ -268,7 +274,7 @@ For a complete discussion of all available commands, refer to man:loader[8].
 |===
 
 Here are some practical examples of loader usage.
-To boot the usual kernel in single-user mode :
+To boot the usual kernel in single-user mode:
 
 [source,shell]
 ....