PPC executable name

[Hollis Blanchard]

I'd like to rename the PPC executable from "grubof" to "grub". If 
nothing else, it will avoid the question "is it grubof.cfg or 
grub.cfg?". Thoughts?

-Hollis

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel