--- en/boot-installer/intro-hd.xml	2009-09-18 22:29:22.000000000 +0200
+++ en/boot-installer/intro-hd_workingcopy.xml	2009-09-18 22:08:29.000000000 +0200
@@ -10,7 +10,7 @@
 </para><para>
 
 To boot the installer from hard disk, you will have already completed
-downloading and placing the needed files in
+downloading and placing the needed files as in
 <xref linkend="boot-drive-files"/>.
 
 </para>

--- en/boot-installer/x86.xml	2009-09-18 22:29:22.000000000 +0200
+++ en/boot-installer/x86_workingcopy.xml	2009-09-18 22:19:39.000000000 +0200
@@ -95,9 +95,6 @@
 </para>
   </sect2>
 
-<!-- FIXME the documented procedure does not exactly work, commented out
-     until fixes
-
   <sect2 arch="x86" id="install-from-dos">
   <title>Booting from a DOS partition</title>
 
@@ -108,27 +105,18 @@
 Boot into DOS (not Windows) without any drivers being loaded.  To do
 this, you have to press <keycap>F8</keycap> at exactly the right
 moment (and optionally select the <quote>safe mode command prompt only</quote>
-option).  Enter the subdirectory for the flavor you chose, e.g.,
+option).  Enter the subdirectory install.386:
 
 <informalexample><screen>
-cd c:\install
-</screen></informalexample>.
+cd c:\install.386
+</screen></informalexample>
 
 Next, execute <command>install.bat</command>.
 The kernel will load and launch the installer system.
 
-</para><para>
-
-Please note, there is currently a loadlin problem (#142421) which
-precludes <filename>install.bat</filename> from being used with the
-bf2.4 flavor. The symptom of the problem is an
-<computeroutput>invalid compressed format</computeroutput> error.
-
 </para>
   </sect2>
 
-END FIXME -->
-
   <sect2 arch="x86" id="boot-initrd">
   <title>Booting from Linux Using <command>LILO</command> or
   <command>GRUB</command></title>

--- en/install-methods/boot-drive-files.xml	2009-09-18 22:29:22.000000000 +0200
+++ en/install-methods/boot-drive-files_workingcopy.xml	2009-09-18 22:23:24.000000000 +0200
@@ -81,6 +81,33 @@
 </para>
   </sect2>
 
+  <sect2 arch="x86" id="files-dos">
+  <title>Hard disk installer booting from DOS</title>
+<para>
+
+This section explains how to copy the installer files to your DOS partition
+in order to boot the installer from an installed MS-DOS system:
+
+</para><para>
+
+Copy the following directories from a &d-i; installation cd (as a netinst
+cd or a full cd #1) to your hard drive, let's say to <filename>c:\</filename>:
+
+<itemizedlist>
+<listitem><para>
+
+<filename>install.386</filename>
+
+</para></listitem>
+<listitem><para>
+
+<filename>tools</filename>
+
+</para></listitem>
+</itemizedlist>
+
+</para>
+  </sect2>
 
   <sect2 arch="powerpc" id="files-oldworld">
   <title>Hard Disk Installer Booting for OldWorld Macs</title>