Re: [PATCH] document cmdpath environment variable

2013-11-16 Thread Vladimir 'φ-coder/phcoder' Serbinenko
Go ahead. On 16.11.2013 06:18, Andrey Borzenkov wrote: > --- > docs/grub.texi | 11 +++ > 1 file changed, 11 insertions(+) > > diff --git a/docs/grub.texi b/docs/grub.texi > index 0a9670f..de72d0c 100644 > --- a/docs/grub.texi > +++ b/docs/grub.texi > @@ -2989,6 +2989,7 @@ These variables

[PATCH] document cmdpath environment variable

2013-11-15 Thread Andrey Borzenkov
--- docs/grub.texi | 11 +++ 1 file changed, 11 insertions(+) diff --git a/docs/grub.texi b/docs/grub.texi index 0a9670f..de72d0c 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -2989,6 +2989,7 @@ These variables have special meaning to GRUB. * biosnum:: * check_signatures:: * chos