* docs/grub.texi (Obtaining and Building GRUB): Substitute

`ftp.gnu.org' for `alpha.gnu.org'.

diff --git a/ChangeLog b/ChangeLog
index b9abcd07f3730f66bf441a691e9206a22dc2281e..fca980c1bd268cab8d30f502eeca7ab3953a5e16 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-05-29  Colin Watson  <cjwatson@ubuntu.com>
+
+       * docs/grub.texi (Obtaining and Building GRUB): Substitute
+       `ftp.gnu.org' for `alpha.gnu.org'.
+
 2011-05-27  Colin Watson  <cjwatson@ubuntu.com>
 
        * grub-core/kern/emu/hostdisk.c (linux_find_partition): Handle

diff --git a/docs/grub.texi b/docs/grub.texi
index 818417d41bad1373d7cf313a90ef0c3380dd8037..45c93d69cdd965d1623bcb42da06d192b9d081cb 100644 (file)
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -4330,11 +4330,11 @@ how to get the latest version.
 @end quotation
 
 GRUB is available from the GNU alpha archive site
-@uref{ftp://alpha.gnu.org/gnu/grub} or any of its mirrors. The file
+@uref{ftp://ftp.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:
 
-@uref{ftp://alpha.gnu.org/gnu/grub/grub-@value{VERSION}.tar.gz}
+@uref{ftp://ftp.gnu.org/gnu/grub/grub-@value{VERSION}.tar.gz}
 
 To unbundle GRUB use the instruction: