Ability to disable URL mangling in makeinfo 4.7?

[Gerald Pfeifer]

Hi folks,

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?

Gerald