> I changed more than I should have. A slightly smaller patch. Applied, thanks.
-- Eric Botcazou
- [DOC Patch] gnat updates for makeinfo 5.2 David Wohlferd
- Re: [DOC Patch] gnat updates for makeinfo 5.2 - update... David Wohlferd
- Re: [DOC Patch] gnat updates for makeinfo 5.2 - up... Eric Botcazou
