2 files changed, 2 insertions, 40 deletions
diff --git a/debian/changelog b/debian/changelog
index 720f31ba8..4d0df427f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,6 +11,8 @@ installation-guide (20230216) UNRELEASED; urgency=medium
     * simplify instructions for making bootable USB media
     * remove mentions of mini.iso image
     * remove mentions of loadlin
+  * Remove chapter about booting the installer from Windows. Support for
+    win32-loader has been removed from the installer.
 
   [ New translations ]
   * Romanian by Remus-Gabriel Chelu, many thanks!
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>