Drop "Linux" from that sentence. Texinfo is /the/ GNU documentation system. The `info(1)` command does have a terrible interface; it's a minimal clone in C of

Drop "Linux" from that sentence. Texinfo is /the/ GNU documentation system. The `info(1)` command does have a terrible interface; it's a minimal clone in C of Emacs' `info-mode`. Which is a terrible place to be--non-Emacs users hate it, while Emacs users just use `info-mode`, which is head and shoulders above `info(1)`. Fortunately, texinfo also generates HTML, PDF, and a dozen other formats, such that it's available in an acceptable format for just about everyone. But, no-one's aware of that because all of the `--help` messages just say "type `info cmd` for the full manual."