From f4b92ce3cbdf4271da421f3072677bfb344049ff Mon Sep 17 00:00:00 2001
From: Holger Wansing <hwansing@mailbox.org>
Date: Mon, 3 Apr 2023 21:31:21 +0200
Subject: Remove chapter about installation from Windows; win32-loader support
 has been removed

---
 en/boot-installer/x86.xml | 40 ----------------------------------------
 1 file changed, 40 deletions(-)

(limited to 'en')

diff --git a/en/boot-installer/x86.xml b/en/boot-installer/x86.xml
index fbc2b0275..475d073b2 100644
--- a/en/boot-installer/x86.xml
+++ b/en/boot-installer/x86.xml
@@ -14,46 +14,6 @@
 
   </sect2>
 
-  <sect2 arch="any-x86" id="boot-win32">
-  <title>Booting from Windows</title>
-<para>
-
-To start the installer from Windows, you can either
-
-<itemizedlist>
-<listitem><para>
-
-obtain installation media as described in
-<xref linkend="official-cdrom"/><phrase condition="bootable-usb"> or
-<xref linkend="boot-usb-files"/></phrase> or
-
-</para></listitem>
-<listitem><para>
-
-download a standalone Windows executable, which is available as
-<ulink url="&win32-loader-exe;">tools/win32-loader/stable/win32-loader.exe</ulink>
-on the &debian; mirrors.
-
-</para></listitem>
-</itemizedlist>
-
-</para><para>
-
-If you use optical installation media, a pre-installation program should be
-launched automatically when you insert the disc.
-In case Windows does not start it automatically, or if you are using a USB
-memory stick, you can run it manually by accessing the device and executing
-<command>setup.exe</command>.
-
-</para><para>
-
-After the program has been started, a few preliminary questions will be
-asked and the system will be prepared to reboot into the &debian-gnu;
-installer.
-
-</para>
-  </sect2>
-
   <sect2 arch="x86" id="boot-initrd">
   <title>Booting from Linux using
   <command>GRUB</command></title>
-- 
cgit v1.2.3