Noticed reading the manual -- cheers vicente
From b9b57d1e58ca61fa5f48d1b29b45f3ed053e7fe9 Mon Sep 17 00:00:00 2001 From: Vicente Jimenez Aguilar <goo...@gmail.com> Date: Mon, 29 Jul 2019 10:36:01 +0200 Subject: [PATCH] Correct documentation devicetree subsection title
Signed-off-by: Vicente Jimenez Aguilar <goo...@gmail.com> --- docs/grub.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/grub.texi b/docs/grub.texi index 3d50b16ba..ea4d960bc 100644 --- a/docs/grub.texi +++ b/docs/grub.texi @@ -4221,7 +4221,7 @@ hour, minute, and second unchanged. @node devicetree -@subsection linux +@subsection devicetree @deffn Command devicetree file Load a device tree blob (.dtb) from a filesystem, for later use by a Linux -- 2.20.1
_______________________________________________ Bug-grub mailing list Bug-grub@gnu.org https://lists.gnu.org/mailman/listinfo/bug-grub
