Fabian Homborg 801d7e3e11 docs: Document that the man pages are for our builtins ...

For builtins that have the same name as common commands, it might not
be entirely obvious that there is another page.

So, for those builtins, we add a note, but only in the man pages.

(exception is true and false because the note would be longer than the
page, and it's fridging true and false)

Fixes #8077.

2021-07-16 18:21:41 +02:00

1.8 KiB

Raw Blame History

View Raw