13 Feb
2006
13 Feb
'06
3:32 p.m.
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
Regards,
Adriaan van Os