import texinfo instead of texi2dvi