[PATCH] Add a link to environment variables inside docs

[Andrea G. Monaco]

This is trivial, but it might save some time to beginners. Please
consider for insertion.

Cheers,
Andrea Monaco


---
 docs/grub.texi | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/grub.texi b/docs/grub.texi
index eeac9b2ce..99343d272 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -5121,7 +5121,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
 
 
-- 
2.20.1