Change the command-line options in /sbin/grub, and update the manual.
3 files changed