Patch for new user-ref manual

[Thierry Laronde]

Hello,

For the definition of menu-specific, command line and menu, command line and
entries, I have changed Okuji's new user-ref.texi.

Modifications : there were three groups of commands, remain two :
menu-specific (the ones used to describe how GRUB must handle the menu
interface), and general commands. So I have merged the whole listing of the
commands not menu-specific.

Here is the patch.
-- 
Thierry LARONDE, Centre de Ressources Informatiques, Archamps - France
http://www.cri74.org
PingOO, serveur de com sur distribution GNU/Linux: http://www.pingoo.org

grub-new.diff.gz
Description: Binary data