summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHolger Wansing <hwansing@mailbox.org>2023-04-03 21:31:21 +0200
committerHolger Wansing <hwansing@mailbox.org>2023-04-03 21:31:21 +0200
commitf4b92ce3cbdf4271da421f3072677bfb344049ff (patch)
treee99e93c3aee8deec0b433a874797dcc5caed0636
parent1522118c5174e47cfd4aa319073411a63999cfb9 (diff)
downloadinstallation-guide-f4b92ce3cbdf4271da421f3072677bfb344049ff.zip
Remove chapter about installation from Windows; win32-loader support has been removed
-rw-r--r--debian/changelog2
-rw-r--r--en/boot-installer/x86.xml40
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>