Re: makeinfo (version 4.8) --html ignores @shortcaption

[Karl Berry]

Hi Jay,

    makeinfo --html --no-split a.texinfo
    lists the caption rather than the short caption 

Thanks very much for the report and test document.  I'll fix it as
soon as I can.  (Patches are welcome, anyone. :)

Best,
Karl