Re: Ability to disable URL mangling in makeinfo 4.7?

[Stepan Kasal]

Hello,

On Wed, Aug 18, 2004 at 02:06:25PM +0200, Dumas Patrice wrote:
> > 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?
> 
> I think that a much better solution should be to regenerate all your manuals,
> this way the cross references will be right. Moreover, the new scheme should 
> not
> change in the future.

IOW, the point was to have a fixed naming scheme which ensures that
crossrefs between diffrent manuals work.  All this effort would be spoiled
if various manuals would use different naming schemes.

The change was necessary (search the archive for detailed discussion), but
the texinfo maintainers promise that is was the last one.

Stepan Kasal