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

2020-10-27 Thread Joseph Myers
First, as a general principle I don't think it's really a good idea to have the documentation for specs duplicated in two places. It would be better to have it in exactly one place, and so avoid having two copies getting out of sync in future. I'd say that specs are an internal implementation

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

2020-10-27 Thread Armin Brauns via Gcc-patches
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. >