Eli Zaretskii <e...@gnu.org> writes:
> Granted, I know very well why it doesn't work with cpp and gcc. But I
> was talking about _user_documentation_, and from the user's point of
> view (as opposed to GCC programmer/hacker POV), the distinction is not
> quite obvious. Either the docs should be fixed to make that clear, or
> (better) the code should be modified to support all related programs.
Perhaps the description of the options should be moved to the internals
documentation (since they are somewhat gcc-internal options), and the
user documentation should just refer to it ("for the curious").
Andreas.
--
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5
"And now for something completely different."
