Ability to disable URL mangling in makeinfo 4.7?

[Gerald Pfeifer]

I haven't seens any response to this.  This is really causing quite
some troubles for us on gcc.gnu.org, so any help will be appreciated.

On Wed, 18 Aug 2004, Gerald Pfeifer wrote:
> 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