On Sun, 29 Sep 2013, Uros Bizjak wrote: > Rather trivial fix - put @anchor before @heading, as texi manual suggests. > > 2013-09-29 Uros Bizjak <ubiz...@gmail.com> > > * doc/install.texi (Host/target specific installation notes for GCC): > Put @anchor before @heading. > > Tested by "make doc" with texinfo 5.1 on Fedora 19.
Thanks. I assume (also based on their release notes) that newer versions of texinfo now issue more warnings? Anything else we should be aware of? Gerald
