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