Hi, texinfo-6.8 seems to produce different HTML output than did earlier versions so far as concerns menus. Menus appear to be stripped from HTML output, as compared to info output where these are preserved in version 6.8.
Is there a configuration option which restores the previous behavior? Chris
