From: Andrea G. Monaco <andrea.monaco@autistici.org>
Date: Sat, 9 Jan 2021 18:30:34 +0000 (+0100)
Subject: docs: Add a link to environment variables
X-Git-Tag: grub-2.12-rc1~270
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=d9b4638c50b16d4722e66d334e2c1a674b4a45cc;p=thirdparty%2Fgrub.git

docs: Add a link to environment variables

This is trivial, but it might save some time to beginners.

Signed-off-by: Andrea G. Monaco <andrea.monaco@autistici.org>
Reviewed-by: Glenn Washburn <development@efficientek.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
---

diff --git a/docs/grub.texi b/docs/grub.texi
index 547923107..107f66ebc 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -5412,7 +5412,9 @@ This command is only available on PC BIOS systems.
 
 @deffn Command set [envvar=value]
 Set the environment variable @var{envvar} to @var{value}. If invoked with no
-arguments, print all environment variables with their values.
+arguments, print all environment variables with their values. For the list of
+environment variables currently used by GRUB itself see the relevant section
+@pxref{Environment}.
 @end deffn