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

@setfilename def_bad_defx_command.info

@node Top
@top Test wrong @@def*x

@defun {my def} args @var{arg} @dots{}
@deffnx {type} {name} and now the args

In defun.

@end defun

@bye
