[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: cross manual references in html manuals

From: Dumas Patrice
Subject: Re: cross manual references in html manuals
Date: Tue, 27 May 2003 14:01:38 +0200
User-agent: Mutt/1.4i


> > 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]