man pages' NAME section wrong

[jidanni]

See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=496706 and say if
this is an upstream bug or not.


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