Re: cross manual references in html manuals

[Dumas Patrice]

>     expansion of @ commands
> 
> Personally, I think we should not support @ commands in node names.
> Period.  Including accent commands and everything else -- instead, we
> should support normal 8-bit chars as text.

I will make the point one more time that 8-bit chars are not portable
accross locales, but utf8 seems too far, thus 8 bits should be fine.

> Eli wrote a makeinfo hack for this to help out one user, but officially
> supporting it would be monstrously difficult to implement in TeX, and
> it makes the rules much more complex.  So I really don't want to do

It seemed to me that the issue of accented letters in node names in TeX was
solved, as little time ago Sepan Kasal made some patches for texinfo.tex 
which passed all my tests of refs and nodes with @ commands for accented 
letters within.

> that, except as the sort of unofficial extension that it is now.

Using 8-bit instead of @ commands solves the issue for accented letters
in node names, but what about things like @code{}, or @., or @kbd{} and 
so on ? I might be wrong but it seems to me that these commands are usefull 
even in node names ?

My point was not to say anything about the technical limitations of makeinfo
or texinfo.tex, but rather about what should be the ideal way to handle node
names. Maybe @ commands could be totally forbidden in node names in the
texinfo format. But, although this might be a limitation in makeinfo which
is not to be overrided in near future, as it is a rather unusefull feature
I doubt this is right for the texinfo language design.

Pat