Re: [DOC Patch] gnat updates for makeinfo 5.2 - updated

2014-07-19 Thread Eric Botcazou
> I changed more than I should have. A slightly smaller patch. Applied, thanks. -- Eric Botcazou

Re: [DOC Patch] gnat updates for makeinfo 5.2 - updated

2014-07-14 Thread David Wohlferd
I changed more than I should have. A slightly smaller patch. dw On 7/14/2014 12:31 AM, David Wohlferd wrote: I have a release on file with the FSF, but don't have SVN write access. Problem description: gnat docs have warning messages when compiled with makeinfo 5.2. Most of them revolve aro