David Hoppenbrouwers:
> On 13/02/2025 19:20, Hendrik Boom wrote:
> > So there are two separate command documentation systems -- help and man.
>
> At least three actually:
> - help (for the shell specifically)
> - man
> - info (I've never used this one, though it seems useful for GCC
> documentation)

help isn't a documentation system, it is a buildin of the bash shell,
it is similar to the --help command line option for the programs that
have that.

man is the traditional way of providing information about the unix
operating system and its commands and other stuff.

info if the gnu way of providing similar information.

Others have pdfs, web pages and other ways of providing knowledge,
and yes there are books also :)

Regards,
/Karl Hammar