always specify the option d in setup_func, fix some doc bugs.

docs/appendices.texi

@@ -130,14 +130,14 @@ obtained from:
 @url{ftp://ftp.varesearch.com/pub/support/hjl/binutils/}
 @end quotation
 
-@c Do not change alpha.gnu.org:/gnu/hurd/src to the URI, since TeX does
+@c Do not change alpha.gnu.org:/gnu/grub to the URI, since TeX does
 @c not format it well.
 GRUB is available from the GNU alpha archive site
-@url{alpha.gnu.org:/gnu/hurd/src} or any of its mirrors. The file
+@url{alpha.gnu.org:/gnu/grub} or any of its mirrors. The file
 will be named grub-version.tar.gz. The current version is
 @value{VERSION}, so the file you should grab is:
 
-@url{ftp://alpha.gnu.org/gnu/hurd/src/grub-@value{VERSION}.tar.gz}
+@url{ftp://alpha.gnu.org/gnu/grub/grub-@value{VERSION}.tar.gz}
 
 To unbundle GRUB use the instruction:
 
@@ -164,7 +164,7 @@ and the GRUB images It will also install the GRUB manual.
 
 Also, the latest version is available from the CVS. The repository is:
 
-@code{:pserver:anoncvs@@anoncvs.gnu.org:/gd/gnu/anoncvsroot}
+@code{:pserver:anoncvs@@subversions.gnu.org:/home/cvs}
 
 and the module is:
 
@@ -174,11 +174,11 @@ The password for anoncvs is empty. So the instruction is:
 
 @example
 @group
-$ cvs -d :pserver:anoncvs@@anoncvs.gnu.org:/gd/gnu/anoncvsroot \
+$ cvs -d :pserver:anoncvs@@subversions.gnu.org:/home/cvs \
     login
 Password: @key{ENTER}
-$ cvs -d :pserver:anoncvs@@anoncvs.gnu.org:/gd/gnu/anoncvsroot \
-    co grub
+$ cvs -d :pserver:anoncvs@@subversions.gnu.org:/home/cvs \
+    checkout grub
 @end group
 @end example
 

docs/src2texi

@@ -1,4 +1,4 @@
-#!/bin/sh
+#! /bin/sh
 #
 # Convert a source file to a TeXinfo file. Stolen from glibc.
 #

docs/user-ref.texi

@@ -861,6 +861,20 @@ time. Likewise, if @var{real_config_file} is present and
 patched with the configuration filename @var{real_config_file}. This
 command preserves the DOS BPB (and for hard disks, the partition table)
 of the sector the Stage 1 is to be installed into.
+
+@strong{Caution:} Several buggy BIOSes don't pass a booting drive
+properly when booting from a hard disk drive. Therefore, you will have
+to specify the option @option{d}, whether your Stage2 resides at the
+booting drive or not, if you have such a BIOS unfortunately. We know
+these are defective in that:
+
+@table @asis
+@item
+Fujitsu LifeBook 400 BIOS version 31J0103A
+
+@item
+HP Vectra XU 6/200 BIOS version GG.06.11
+@end table
 @end deffn
 
 @deffn Command ioprobe drive