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

[Armin Brauns via Gcc-patches]

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