Just noticed that http://www.gnu.org/software/grub/manual/grub.html.gz
appears to be compressed twice. Take care, -- steve _______________________________________________ Bug-grub mailing list Bug-grub@gnu.org http://lists.gnu.org/mailman/listinfo/bug-grub