*PING^4* [PATCH] doc: gcc.c: Update documentation for spec files

[Armin Brauns]

On 15/10/2020 10.11, Armin Brauns wrote:
> On 02/10/2020 19.20, Armin Brauns wrote:
>> On 06/09/2020 17.23, Armin Brauns wrote:
>>> There were some differences between the actual code in do_spec_1, its
>>> source comment, and the documentation in doc/invoke.texi. These should
>>> now be resolved.
>> PING: https://gcc.gnu.org/pipermail/gcc-patches/2020-September/553321.html
> PING: https://gcc.gnu.org/pipermail/gcc-patches/2020-September/553321.html
>
PING: https://gcc.gnu.org/pipermail/gcc-patches/2020-September/553321.html