Re: @macro + @deffnx fails with texi2dvi

[Karl Berry]

    Hmm, then what about removing the macro code completely from texinfo.tex,
    and always relying on makeinfo?

No.  In most cases the macro implementation works fine, and it can be so
much easier to just TeX a file than run texi2dvi.

    Otherwise I'm curious whether my specific problem can be fixed...

Probably, given enough time and effort ... Sorry, I know that isn't
helpful.