I would like to edit out some of the boot options grub provides me with. Four for LMDE plus two for Windows 7 seems about right.
My grub-editenv man page tells me that if I have grub installed correctly then the command info grub-editenv should give me access to the full manual, but all I get is a repeat of the man page. I looked around in /usr/share/doc/grub-whatever but came up empty.
So first of all, please how do I access the grub manual on my machine? And also please how do I edit my list of boot options? TIA