From b46827df4fa06c49e52435e2a294d8e30bb82cd0 Mon Sep 17 00:00:00 2001
From: sajolida <sajolida@pimienta.org>
Date: Thu, 13 Jun 2019 18:04:40 +0000
Subject: [PATCH] Add anchors to the troubleshooting sections (#14788)

---
 wiki/src/install/inc/steps/pc_boot_menu.inline.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/wiki/src/install/inc/steps/pc_boot_menu.inline.html b/wiki/src/install/inc/steps/pc_boot_menu.inline.html
index f96ff136b4e..9f52461dbbf 100644
--- a/wiki/src/install/inc/steps/pc_boot_menu.inline.html
+++ b/wiki/src/install/inc/steps/pc_boot_menu.inline.html
@@ -25,7 +25,7 @@ can skip the rest of this section and <a href="#greeter">wait until
 
 </div>
 
-<h3>Getting to the boot menu</h3>
+<h3 id="boot-menu">Getting to the boot menu</h3>
 
 <p>On most computers, you can press a <em>boot menu key</em> to display
 a list of possible devices to start from. The following instructions
@@ -103,7 +103,7 @@ following screenshot is an example of such boot menu:</p>
 <p>Similar problems might have been reported already for your model of computer
 in our [[list of known issues|support/known_issues]].</p>
 
-<h3>Edit the BIOS settings</h3>
+<h3 id="bios-settings">Edit the BIOS settings</h3>
 
 <p>If none of the possible boot menu keys from the previous technique work or if
 the USB stick does not appear in the boot menu, you might need to edit your BIOS
@@ -174,7 +174,7 @@ able to use Tails on this computer. Feel free to
 [[!toggleable id="report" text="""
 <span class="hide">[[!toggle id="report" text=""]]</span>
 
-<h3>Reporting the problem to our support team</h3>
+<h3 id="report">Reporting the problem to our support team</h3>
 
 <p>Please send the following information to [[tails-support-private@boum.org]]:</p>
 
-- 
GitLab