Re: Texinfo -> HTML issues

[Patrice Dumas]

> These HTML files are web pages.  If the underlying filesystem is
> exposed by these filenames, then "cross-document references will not
> be reliable."  

Not necessarily. Imagine you have 

@node mynode

and 

@node Mynode

On a Microsoft OS they will end in the same file, but the browser (if files
are viewed locally) or the server should direct 
Mynode.html#Mynode and mynode.html#mynode to the right place in that file.

> By the way, indexing in Info didn't work with my "Indexes" fix.  If I
> rename the node "Index" it works, producing a file "Index.html".  But
> what if this is served on a Microsoft OS?  Then "Index.html" and
> "index.html" will overwrite each other!

No, makeinfo write them in the same file, but both nodes are here.

Pat