Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-12-14 Thread Tom de Vries
On 08/12/15 19:10, Gerald Pfeifer wrote: Hi Tom, On Tue, 8 Dec 2015, Tom de Vries wrote: Can you approve the fdl part? Let's assume I can. Okay. was the 'Okay' above: - a figure of speech (as I read it), or - an actual approval (conditional on the adding of the comment) ? I should have

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-12-08 Thread Tom de Vries
On 23/03/15 16:00, Gerald Pfeifer wrote: On Fri, 20 Mar 2015, Tom de Vries wrote: The gnat-style.texi part is OK. I cannot approve the fdl part though. Gerald, Can you approve the fdl part? Let's assume I can. Okay. Can you just describe the _why_ a bit in a @comment (in simple words

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-12-08 Thread Gerald Pfeifer
Hi Tom, On Tue, 8 Dec 2015, Tom de Vries wrote: >>> Can you approve the fdl part? >> Let's assume I can. Okay. > was the 'Okay' above: > - a figure of speech (as I read it), or > - an actual approval (conditional on the adding of the comment) > ? I should have written this as "Let's assume I

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-12-08 Thread Mike Stump
On Dec 8, 2015, at 10:10 AM, Gerald Pfeifer wrote: > On Tue, 8 Dec 2015, Tom de Vries wrote: Can you approve the fdl part? >>> Let's assume I can. Okay. >> was the 'Okay' above: >> - a figure of speech (as I read it), or >> - an actual approval (conditional on the adding

[PING][PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-08-24 Thread Tom de Vries
On 14-06-15 16:07, Tom de Vries wrote: On 23/03/15 16:00, Gerald Pfeifer wrote: On Fri, 20 Mar 2015, Tom de Vries wrote: The gnat-style.texi part is OK. I cannot approve the fdl part though. Gerald, Can you approve the fdl part? Let's assume I can. Okay. Can you just describe the _why_ a

Re: [PING][PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-08-24 Thread Arnaud Charlet
The Ada part is ok. Arno On 24 Aug 2015, at 11:16, Tom de Vries tom_devr...@mentor.com wrote: On 14-06-15 16:07, Tom de Vries wrote: On 23/03/15 16:00, Gerald Pfeifer wrote: On Fri, 20 Mar 2015, Tom de Vries wrote: The gnat-style.texi part is OK. I cannot approve the fdl part though.

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-06-14 Thread Tom de Vries
On 23/03/15 16:00, Gerald Pfeifer wrote: On Fri, 20 Mar 2015, Tom de Vries wrote: The gnat-style.texi part is OK. I cannot approve the fdl part though. Gerald, Can you approve the fdl part? Let's assume I can. Okay. Can you just describe the _why_ a bit in a @comment (in simple words

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-03-23 Thread Gerald Pfeifer
On Fri, 20 Mar 2015, Tom de Vries wrote: The gnat-style.texi part is OK. I cannot approve the fdl part though. Gerald, Can you approve the fdl part? Let's assume I can. Okay. Can you just describe the _why_ a bit in a @comment (in simple words beyond showing the error message), that is,

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-03-20 Thread Tom de Vries
On 22-02-15 18:37, Arnaud Charlet wrote: While generating gnat-style.info, we see these warnings: ... src/gcc/doc/include/fdl.texi:33: warning: node `Index' is next for `GNU Free Documentation License' in menu but not in sectioning src/gcc/doc/include/fdl.texi:33: warning: node `Top' is up for

Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-02-22 Thread Arnaud Charlet
While generating gnat-style.info, we see these warnings: ... src/gcc/doc/include/fdl.texi:33: warning: node `Index' is next for `GNU Free Documentation License' in menu but not in sectioning src/gcc/doc/include/fdl.texi:33: warning: node `Top' is up for `GNU Free Documentation License' in

[PATCH] Fix warnings from including fdl.texi into gnat-style.texi

2015-02-22 Thread Tom de Vries
Hi, While generating gnat-style.info, we see these warnings: ... src/gcc/doc/include/fdl.texi:33: warning: node `Index' is next for `GNU Free Documentation License' in menu but not in sectioning src/gcc/doc/include/fdl.texi:33: warning: node `Top' is up for `GNU Free Documentation License' in