Bug#717586: grub-pc: Where is the option to disable submenus documented?

[Colin Watson]

On Wed, Jan 15, 2014 at 07:32:34PM +0200, Martin-Éric Racine wrote:
> This bug's closing message (from the Debian changelog) suggests
> that the option to disable the submenu was documented. Where?

It wasn't in 2.00, but in 2.02 it's in the info documentation linked
from the top of /etc/default/grub.

> Also, generally speaking, enabling submenus by default is
> counter-intuitive on grub-pc, given how GRUB scales itself
> to match the maximum resolution offered by the BIOS, which
> then easily allows fitting all kernels into the GRUB menu.

The point isn't physically fitting everything onto the screen, it's
avoiding presenting lots of options most of which are only fallbacks
that shouldn't normally be used.

-- 
Colin Watson                                       [cjwatson at debian.org]