Typo in manual

[Adriaan van Os]

> 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