Re: [ping] [wwwdocs] Add reference to pp_format to Coding Conventions

2022-10-18 Thread Jakub Jelinek via Gcc-patches
On Tue, Oct 18, 2022 at 12:15:08PM +0100, Jonathan Wakely via Gcc-patches wrote: > ping... > > On 21/09/22 10:39 +0100, Jonathan Wakely wrote: > > Finding the docs for the GCC-specific diagnostic formats isn't easy. > > This might help. > > > > OK for wwwdocs? > > -- >8 -- > > htdocs/codingcon

[ping] [wwwdocs] Add reference to pp_format to Coding Conventions

2022-10-18 Thread Jonathan Wakely via Gcc-patches
ping... On 21/09/22 10:39 +0100, Jonathan Wakely wrote: Finding the docs for the GCC-specific diagnostic formats isn't easy. This might help. OK for wwwdocs? -- >8 -- htdocs/codingconventions.html | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/htdocs/codingconventions