This change was introduced in version 0.97-37, with the
make_system_path_relative_to_its_root() function. The attached patch restores
the old behavior.
--MR
diff -urN grub-0.97/debian/update-grub grub-0.97.rm_double_slash/debian/update-grub
--- grub-0.97/debian/update-grub 2008-05-04 10:48:22.000000000 -0400
+++ grub-0.97.rm_double_slash/debian/update-grub 2008-05-04 11:21:53.000000000 -0400
@@ -94,7 +94,7 @@
dir=$parent
done
- echo $path | sed -e "s,^$dir,/,g" -e "s,//,/,g"
+ echo $path | sed -e "s,^$dir,/,g" -e "s,//,/,g" -e 's,^/*$,,'
}
# The grub installation directory
