Patrice Dumas wrote:
> ... have cross manual references from other manuals to work
> reproducibly and use file name that correspond as much as possible with
> node names.
Yes, I understand that it is unwelcome to change the mapping from node name
to HTML file name, because hyperlinks coming from cross references across
manuals would be broken. But in this case, if someone had a cross reference
@ref{(gnulib)index,...} it will now temporarily point to the table of contents
of gnulib; only when that manual is regenerated, it will again point to the
'index' node. This is an acceptable side-effect of having the general
problem with "@node index" fixed.
Bruno
