unnumberedsubsubsec filename/anchor in HTML

[Francisco Vila]

Hello,

the filename/anchor generation of HTML docs could have a small
problem: @unnumberedsubsubsec gets the same anchor as its numbered
section

For example, the following link to an @un[...]sec

  
out-www/offline-root//Documentation/extending/scheme-compound-data-types.html#Lis

in the left-pane index, points to a section whose anchor is actually

  
out-www/offline-root//Documentation/extending/scheme-compound-data-types.html#Scheme-compound-data-types

instead.  The body anchors are wrong; index links are correct.

Just in case someone has the solution in his fingertips.
-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com