Virtual for texi2dvi (and texi2pdf)
