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 [email protected] http://lists.gnu.org/mailman/listinfo/bug-grub
