gIs there a way to make Texinfo files such as the one for grub available within the help system? If there isn't, there should be, since that's where the full documentation of grub resides.
- If you have copied text output that contains formatting (colors, highlighting, etc.), please do not enclose it in QUOTE or CODE tags. Just right-click your mouse and choose "Paste Without Formatting" or similar (Paste as plain text).