Frank Heckenbach wrote:
Adriaan van Os wrote:
By the way, I didn't manage to build the html version of the manual, because the entry for 'Index' creates an index.html file, which conflicts with the usual index.html file.
Which version of makeinfo do you have? AFAIR, they changed the file layout. Before I look closer, let's see if it's that.
[G5:/CW] adriaan% makeinfo --version makeinfo (GNU texinfo) 4.8
Ah, but on another system (that I may have used when I tried), I still have 4.7 installed and the NEWS file for Texinfo 4.8 reads
4.8 (31 December 2004) <snip> . HTML output: - <a name="..."> constructs are added for the old-style conversion of node names to HTML names, so that external references to them can continue to work. <snip>
Is that what you meant ?
Regards,
Adriaan van Os