texinfo: with texi2dvi and texinfo.tex