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