From b9b57d1e58ca61fa5f48d1b29b45f3ed053e7fe9 Mon Sep 17 00:00:00 2001
From: Vicente Jimenez Aguilar <address@hidden>
Date: Mon, 29 Jul 2019 10:36:01 +0200
Subject: [PATCH] Correct documentation devicetree subsection title

Signed-off-by: Vicente Jimenez Aguilar <address@hidden>
---
 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