From 0f6dfc3a306731d6933d3176c35319ed8d0b7e35 Mon Sep 17 00:00:00 2001
From: sajolida <sajolida@pimienta.org>
Date: Wed, 25 Mar 2020 04:33:30 +0000
Subject: [PATCH] Add comment to keep similar instructions in sync

---
 wiki/src/doc/advanced_topics/boot_options.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/wiki/src/doc/advanced_topics/boot_options.mdwn b/wiki/src/doc/advanced_topics/boot_options.mdwn
index fbe50943d5..c1bf803c1a 100644
--- a/wiki/src/doc/advanced_topics/boot_options.mdwn
+++ b/wiki/src/doc/advanced_topics/boot_options.mdwn
@@ -42,6 +42,8 @@ adding a boot option [[using GRUB|boot_options#grub]] below.</p>
 
 To add a boot option in *SYSLINUX*:
 
+<!-- Keep in sync with install/inc/steps/restart_first_time.inline.mdwn. -->
+
 1. Press **Tab** when *SYSLINUX* appears.
 
    A list of boot options
@@ -77,6 +79,8 @@ adding a boot option [[using SYSLINUX|boot_options#syslinux]] above.</p>
 
 To add a boot option in *GRUB*:
 
+<!-- Keep in sync with install/inc/steps/restart_first_time.inline.mdwn. -->
+
 1. Press **e** when GRUB appears.
 
    A new screen appears with more options.
-- 
GitLab