Re: gnat_rm.texi and makeinfo 5.1

2014-06-14 Thread Jonathan Wakely
On 13 June 2014 22:29, Joel Sherrill wrote: > Hi > > I am trying to build a native GNAT from the head on Fedora 20. It has > makeinfo 5.1 which is causing gnat_rm.texi a lot of problems. This > is just the beginning of almost 200 error messages. > > ../../gcc/gcc/ada/gnat_rm.texi:4107: warning: @it

Re: gnat_rm.texi and makeinfo 5.1

2014-06-13 Thread Arnaud Charlet
> cc'ing Eric B since I remember him mentioning that they autogenerated > texinfo from Sphinx and I am wondering if this is manual or autogenerated. No, that was me, mentioning that we were planning to do that in the future, but not yet. > Other than fixing the manual or downgrading makeinfo, any

Re: gnat_rm.texi and makeinfo 5.1

2014-06-13 Thread Dominique Dhumieres
pr61505 Dominique