> > the problem is apparently specific to the handling of @deffn in > > makeinfo > > Right you are. I must have failed to see the error when I ran > texi2dvi -e. Here's a patch.
It works fine, thanks.
Werner
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
