I have noticed that the link Extended-asm-with-goto.html#Extended-asm-with-goto is wrong in http://gcc.gnu.org/onlinedocs/gcc/Extended-Asm.html. Locally when I generate the html doc, the link is good, ie <a href="#Extended-asm-with-goto">.
Also the online page for Extended-asm-with-goto.html is wrong, '%20' instead of '-'. $ curl http://gcc.gnu.org/onlinedocs/gcc/Extended-asm-with-goto.html\#Extended-asm-with-goto <meta http-equiv="refresh" content="0; url=Extended-Asm.html#Extended%20asm%20with%20goto"> Locally I have: <meta http-equiv="Refresh" content="0; url=Extended-Asm.html#Extended-asm-with-goto"> Is the version of texinfo buggy to generate online documentation? Thanks, -- Patrick Marlier