Re: [PATCH v2 01/18] docs/grub: grub-install is no longer a shell script

2020-11-18 Thread Daniel Kiper
On Wed, Oct 28, 2020 at 12:57:18PM +1100, Daniel Axtens wrote: > Since commit cd46aa6cefab in 2013, grub-install hasn't been a shell > script. The para doesn't really add that much, especially since it's > the user manual, so just drop it. > > Signed-off-by: Daniel Axtens Reviewed-by: Daniel Kipe

[PATCH v2 01/18] docs/grub: grub-install is no longer a shell script

2020-10-27 Thread Daniel Axtens
Since commit cd46aa6cefab in 2013, grub-install hasn't been a shell script. The para doesn't really add that much, especially since it's the user manual, so just drop it. Signed-off-by: Daniel Axtens --- docs/grub.texi | 7 --- 1 file changed, 7 deletions(-) diff --git a/docs/grub.texi b/do