makeinfo 4.7 changed the mangling of special characters like '*' and
'+' in URLs.
Instead of
http://gcc.gnu.org/onlinedocs/gcc/C---Misunderstandings.html
we now have
http://gcc.gnu.org/onlinedocs/gcc/C_002b_002b-Misunderstandings.html.
and instead of anchors for target triplets like
#alpha*-*-*"
we now have
#alpha_002a_002d_002a_002d_002a.
I'm sure you will see how this is hurting us for the GCC web pages.
Is there any way to request the old way, that is, keep "*" unchanged
and use "-" or something similiar for problematic characters?
If there is no way yet, would you mind adding such an option to your
next release?