#726264 grub-set-default seems not to be documented on (info "(grub) Simple configuration")

Package:
grub2-common
Source:
grub2
Description:
GRand Unified Bootloader (common files for version 2)
Submitter:
Date:
2013-10-13 23:39:11 UTC
Severity:
wishlist
#726264#5
Date:
2013-10-13 23:35:25 UTC
From:
To:
(info "(grub) Simple configuration") should mention grub-set-default as
a quicker way...

P.S., The info page mentioned on the grub-set-default man page is missing.