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
_______________________________________________
Grub-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/grub-devel
