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.
- Please do not use the CODE tag when pasting content that contains formatting (colored, bold, underline, italic, etc) Use the QUOTE tag instead.
The CODE tag displays all content as plain text, including the formatting tags, making it difficult to read.