From 5f85f38260892f0ca28ff3f7c5751fbe60699930 Mon Sep 17 00:00:00 2001
From: Xi Ruoyao <xry111@xry111.site>
Date: Mon, 19 Sep 2022 11:03:29 +0800
Subject: reboot: add a comment for editors about why we don't provide reboot
 command

---
 chapter11/reboot.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/chapter11/reboot.xml b/chapter11/reboot.xml
index 5eee6ca5b..ebfb0a2b1 100644
--- a/chapter11/reboot.xml
+++ b/chapter11/reboot.xml
@@ -124,6 +124,9 @@ umount -v $LFS</userinput></screen>
 
   <para>Now, reboot the system.</para>
 
+<!-- Commented out because we don't have a host system requirement on
+     its init, and different init system may recommend different commands
+     for reboot.  -->
 <!--<screen role="nodump"><userinput>shutdown -r now</userinput></screen>-->
 
   <para>Assuming the GRUB boot loader was set up as outlined earlier, the menu
-- 
cgit v1.2.3-54-g00ecf