On Tue, Nov 08, 2022 at 07:44:50PM +1000, Damian Szuberski wrote:
> Signed-off-by: szubersk
Reviewed-by: Daniel Kiper
Daniel
___
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
Signed-off-by: szubersk
---
docs/grub.texi | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git docs/grub.texi docs/grub.texi
index 2d6cd8358..969493577 100644
--- docs/grub.texi
+++ docs/grub.texi
@@ -1671,7 +1671,8 @@ command.
@end multitable
Remember, @samp{GRUB_DISABLE_LINUX
