makeinfo (version 4.8) --html ignores @shortcaption

[Jay Berkenbilt]

[Please discard the earlier version of this bug report.  I had said
"Table of Contents" when I meant to say "List of Figures" and had left
the filename off the command.]



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

----------------------------------------------------------------------
\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 a.texinfo

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

-- 
Jay Berkenbilt <address@hidden>