- I have no idea about `local' Is it really needed?
I will ask to knowledge people (Dr. Autoconf List & Pr. Libtool List)
what they think about it.
Sounds good.
* doc/texinfo.txi: Document pdftexi2dvi.
Thanks.
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo
[email protected]
http://lists.gnu.org/mailman/listinfo/help-texinfo
