From 30c4e3ca404ea88968acf20f096835b78218901b Mon Sep 17 00:00:00 2001 From: Daniel Kiper Date: Mon, 25 May 2020 21:02:12 +0200 Subject: [PATCH] docs: Fix devicetree command description Specifically fix the subsection and drop bogus reference to the GNU/Linux. Reported-by: Patrick Higgins Signed-off-by: Daniel Kiper Reviewed-by: Javier Martinez Canillas --- 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