I see that in various Linux distributions different options/variables are used in
/etc/default/grub. This might be because of different versions of grub2 used (I might be wrong?) On the net I can find distro specific documentation, like for gentoo. I was wondering if there is something like a manpage, included with the system, documenting which options are recognized in
/etc/default/grub and what they do.
Edit: I found the online docu myself. Still I am wondering if I can find that info on the system without visiting the net.