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
