Re: allowing "+" in .html file names

[Ben Pfaff]

Eli Zaretskii <address@hidden> writes:

> On 29 Apr 2002, Ben Pfaff wrote:
> 
> > In that case, why not use an escape mechanism?  For instance,
> > disallowed characters could be translated into a pair of hex
> > digits representing the character's ASCII value.
> 
> That's possible, but note that it has its disadvantages: it makes the 
> file name longer, and might actually _create_ file-name collisions where 
> none were present before.  Maybe we should do this as an option?  Or 
> maybe we should have only some characters that are translated into hex, 
> while the rest are still replaced like they are today?

Well, I've managed to solve the problem I had originally by
changing my Texinfo document (or, more precisely, changing the
literate programming tool--"TexiWEB"--that generates my Texinfo
document), so the stakes have been lowered for me.  My new
opinion is that this is worth doing if it would be useful for
someone else.  I think you'll probably have trouble finding
someone else, though, so it's doubtful whether it's worth the
time to do it.