On Fri, Nov 21, 2008 at 03:25:08AM +0100, Bruno Haible wrote:
> Hello Karl,
>
> What's the reason for mapping the node named 'index' to the file named
> 'index.html'? It could also be 'inde_0078.html', no? This would leave
> the name 'index.html' for the entry point into the manual.
This allows to have cross manual references from other manuals to work
reproducibly and use file name that correspond as much as possible with
node names. That being said, there could be an exception for
@node index, and @ref{index,.....}
such that it always map to
inde_0078.html
because the top node is always called index.html.
--
Pat
