Re: [PATCH] docs: Improve search documentation, by adding short options and section on hints

2021-09-20 Thread Daniel Kiper
On Sat, Sep 18, 2021 at 07:33:05PM +, Glenn Washburn wrote: > Signed-off-by: Glenn Washburn Reviewed-by: Daniel Kiper Daniel ___ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel

[PATCH] docs: Improve search documentation, by adding short options and section on hints

2021-09-18 Thread Glenn Washburn
Signed-off-by: Glenn Washburn --- docs/grub.texi | 17 + 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/docs/grub.texi b/docs/grub.texi index 0be500387..8baf99ad1 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -4999,16 +4999,25 @@ Search devices by file