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 547923107ab59eb734f5c1e14acacf1d9a18f07e..107f66ebc9f4f46d289c47537e69fa0482c24de3 100644 (file)
--- 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