From 155d4ae3d2f4481cf71d8a2c9065c76717dc87ca Mon Sep 17 00:00:00 2001
From: Xi Ruoyao <xry111@xry111.site>
Date: Mon, 23 Dec 2024 20:57:42 +0800
Subject: [PATCH] grub: Separate the instruction into multiple <sect2>s

jhalfs reorders the instructions in one <sect2> to pre => configure =>
make => install, resulting in nonsense:

    make -j1 install
    mv -v /etc/bash_completion.d/grub /usr/share/bash-completion/completions
    make -j1 -C grub-core install
    make -j1 -C grub-core install

Separate the three builds into three <sect2>s to prevent this.
---
 chapter08/grub.xml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/chapter08/grub.xml b/chapter08/grub.xml
index 4bc6b7514..fd0faac36 100644
--- a/chapter08/grub.xml
+++ b/chapter08/grub.xml
@@ -98,6 +98,10 @@
 
 <screen><userinput remap="install">make install
 mv -v /etc/bash_completion.d/grub /usr/share/bash-completion/completions</userinput></screen>
+  </sect2>
+
+  <sect2 role="installation">
+    <title>Installation of GRUB for 64-bit UEFI</title>
 
     <para>Now build the package again for allow booting the system with
     the GRUB installation on 64-bit UEFI.  You may skip the instructions
@@ -119,6 +123,10 @@ mv -v /etc/bash_completion.d/grub /usr/share/bash-completion/completions</userin
     <para>Install the 64-bit UEFI support:</para>
 
 <screen><userinput remap="install">make -C grub-core install</userinput></screen>
+  </sect2>
+
+  <sect2 role="installation">
+    <title>Installation of GRUB for 64-bit UEFI</title>
 
     <para>Now build the package again for allow booting the system with
     the GRUB installation on 32-bit UEFI.  The hardware with 32-bit UEFI