doc: Use a recent texinfo.tex. * doc/Makefile (tex_opts): New variable. (%.dvi, %.pdf): Pass it to texi2dvi and texi2pdf.
2011-05-28T16:47:00