makeinfo (version 4.8) --html ignores @shortcaption

[Jay Berkenbilt]

I'm using makeinfo from texinfo version 4.8 as included in Fedora Core
5.  With the following texinfo file:

----------------------------------------------------------------------
\input texinfo   @c -*-texinfo-*-
@c %**start of header
@setfilename a.info
@settitle Title
@c %**end of header

@node Top, List of Figures, (dir), (dir)
@top Top Node

@float Figure,fig:ex1

This is a figure.

@caption{@@caption}
@shortcaption{@@shortcaption}
@end float

@menu
* List of Figures::
@end menu

@node List of Figures,  , Top, Top
@unnumbered List of Figures
@listoffloats Figure

@bye
----------------------------------------------------------------------

the html file generated with

makeinfo --html --no-split

lists the caption rather than the short caption in the table of
contents.  dvi2pdf and makeinfo with no arguments both include the
short caption.  I haven't tested other output formats.

-- 
Jay Berkenbilt <address@hidden>