[Top][All Lists]

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

Re: cross manual references in html manuals, second

From: Dumas Patrice
Subject: Re: cross manual references in html manuals, second
Date: Mon, 2 Jun 2003 19:06:57 +0200
User-agent: Mutt/1.4i

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


reply via email to

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