Re: master f82f3d6: ; Improve recently added documentation

[Stefan Kangas]

eliz@gnu.org (Eli Zaretskii) writes:

> +@noindent
> +The Info documentation is always preferable to man pages, so be sure
> +to link to an Info manual where available.  For example,
> +@command{chmod} is documented in the GNU Coreutils manual, so it is
> +better to link to that instead of the man page.

This is a good change, in general.  One small issue though:

chmod is a good example of where you might want to link to its man page
instead of the info manual, because there is information in the former
that is not in the latter.

So perhaps we could put some other example in the quoted paragraph
above.  How about gcc, for example?