From 24fcd7e2d14c6a041cb6a6c6543efca325daa6fd Mon Sep 17 00:00:00 2001
From: Holger Wansing <hwansing@mailbox.org>
Date: Sun, 26 Jul 2020 17:35:55 +0200
Subject: BIOS -> UEFI update

---
 en/boot-installer/trouble.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'en/boot-installer/trouble.xml')

diff --git a/en/boot-installer/trouble.xml b/en/boot-installer/trouble.xml
index 8d47a2b22..4f6859e69 100644
--- a/en/boot-installer/trouble.xml
+++ b/en/boot-installer/trouble.xml
@@ -94,9 +94,9 @@ If the optical disc fails to boot, try the suggestions listed below.
 <itemizedlist>
   <listitem><para>
 
-Check that your BIOS actually supports booting from optical disc (only an
+Check that your BIOS/UEFI actually supports booting from optical disc (only an
 issue for very old systems) and that booting from such media is enabled in the
-BIOS.
+BIOS/UEFI.
 
   </para></listitem>
   <listitem><para>
-- 
cgit v1.2.3