top node in html cross references

Hi,

Still an issue regarding html cross references. When the manual is split, 
the current view is to put the Top node in a file names index.html, such
that hrefs like http://myserver.org/manual/ leads to the Top node. 
I believe this is a good idea. 

However it leads to a problematic situation when there is also a node named
`index' (or case variants). Indeed, the Top node and the index node would be 
in the same file, and I believe this should be avoided, that is, the Top
node should be in its own file (it is less an issue for other nodes, but I 
really think that for the Top node it is an issue).

One possibility could be to use Top.html for the Top node. I think this is
bad as http://myserver.org/manual/ should really lead to the Top node. Of
course the server could be tuned such that the default file is Top.html and
not index.html, however I think that it is not practical. Thus the file 
for the Top node should be index.html. This leads to another possibility,
that is to map a node named index to something else than index.html. Given that
in the current specification `-' cannot happen at the end of a node file name
and that any `_' should be followed by an four digits hexadecimal with letters
in upper case, the following file names cannot be used for another node file 
name:

index-.html
index_.html
index_0.html
index_1.html
index_node.html

I am against special cases like this one, but in that case I think it is better
than using the same file for a Top node and an index node.

Any thoughts ?

Pat
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest