Re: cross manual references in html manuals, second

[Dumas Patrice]

> It is true that case is "preserved" (not significant) on Windows.
> However, that is no reason why we should not generate file/target names
> using uppercase letters.  I think we should, just because it's closer to
> the actual name of the code.

For target, yes, but for filename it doesn't seems right to me. Indeed, 
imagine in a document there is 2 nodes differing only by case, say
@node there
and 
@node There
If we are on windows, both will be in there.html. If we are on unix, one
will be in There.html, the other in there.html. What to choose for the 
software doing the ref ? My idea was to use there.html as file name and 
distinguish with the target. Thus

there -> there.html#there
There -> there.html#There

It doesn't matter, however (as far as cross manual references are concenrned)
if we use only index.html as file name. In that case, as case is significant
in targets, we don't have any problem.

>     >     @today today
> 
> Let's just disallow @today in node names.  It doesn't make sense either way.

You're right.

Pat