Re: cross manual references in html manuals

[Dumas Patrice]

Hi,

> > In the case of multiple nodes with the same file name, the software should 
> > warn the user, and it is only required that the file leads to one of 
> > these nodes. Thus some nodes may not be attainable.
> 
> I agree with Karl that this will not be acceptable for our users.

Allright. Then maybe a possibility to 'encode' special characters should 
be the following:
just use the current makeinfo encoding, but use _ to escape special 
characters instead of %. For example %7e%22%23 becomes _7e_22_23 
(for ~"#). And _ is escaped too. Does it seem right ?

This would be used for anchor names or file names. Currently it is used for
anchor names, but I think that it should be used for file names instead 
(or additionnaly), in order to avoid having the possibility of 2 refs 
leading to the same file as it would lead to the use the kind of solution I 
exposed to Karl (involving javascript) in case the file isn't split by
node. However if some filesystems are not case sensitive, it seems to me that 
this won't be avoidable.

Pat