From: Thierry Laronde <[EMAIL PROTECTED]>
Subject: Patch for new user-ref manual
Date: Tue, 6 Feb 2001 16:19:05 +0100

> 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.

I don't think that is a Right Thing. GRUB clearly has three groups:
one that you may use only in the menu (not menu entries), one that you
may use anywhere, and the other that you may use only in the
command-line and menu entries. Their distinctions are important, since
if you list commands usable only in menu entries and the command-line
as general commands, the user could think that he/she might use them
even out of menu entries.

Okuji

_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub

Reply via email to