> From: Bruno Haible <[EMAIL PROTECTED]> > Date: Thu, 17 Jan 2008 00:23:54 +0100 > Cc: [email protected] > > I cannot use this fix, as @detailmenu is not supported by texi2html, > which is what I use to create the HTML doc for this package.
Makeinfo supports HTML, but if you insist on using texi2html, you can make @detailmenu disappear for HTML by using @ifhtml.
