https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65104
Arnaud Charlet <charlet at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |WONTFIX
--- Comment #3 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Sorry, my fingers hit the wrong key before I could finish my message.
gnat_rm.texi and gnat_ugn.texi are about to be converted to sphinx, so no need
to spend time reporting texi warnings, they will all soon be gone as part of
this conversion.
Arno