On Sat, 09 Jan 2021 19:30:34 +0100
"Andrea G. Monaco" <andrea.mon...@autistici.org> wrote:
>
> This is trivial, but it might save some time to beginners. Please
> consider for insertion.
Reviewed-by: Glenn Washburn <developm...@efficientek.com>
Glenn
>
> 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
>
>
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
