texinfo/texi2html/test/info_coverage/menu_in_deffn.texi

\input texinfo @c -*-texinfo-*-

@setfilename menu_in_deffn.info

@node Top
@top Element

@deffn a b c 
@menu
* (mynode)::
@end menu
@end deffn

a

@bye