grub-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH 3/6] docs: Fix devicetree command description


From: Daniel Kiper
Subject: [PATCH 3/6] docs: Fix devicetree command description
Date: Mon, 25 May 2020 21:02:12 +0200

Specifically fix the subsection and drop bogus reference to the GNU/Linux.

Reported-by: Patrick Higgins <address@hidden>
Signed-off-by: Daniel Kiper <address@hidden>
---
 docs/grub.texi | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/docs/grub.texi b/docs/grub.texi
index 1ce9993a5..83fbc07e8 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -4295,13 +4295,12 @@ 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
 kernel. Does not perform merging with any device tree supplied by firmware,
 but rather replaces it completely.
-@ref{GNU/Linux}.
 @end deffn
 
 @node distrust
-- 
2.11.0




reply via email to

[Prev in Thread] Current Thread [Next in Thread]