> From: Ben Pfaff <[email protected]>
> Date: Sun, 04 Sep 2011 10:51:46 -0700
> Cc: [email protected]
> 
> Why not just have texi2dvi run the Texinfo source through
> "makeinfo --macro-expand" before running it through TeX?

texi2dvi already does that.

Reply via email to