------- Comment #1 from Ralf dot Wildenhues at gmx dot de 2008-02-09 18:36 ------- Confirmed the failure with $ /usr/bin/texi2dvi --version texi2dvi (GNU Texinfo 4.8) 1.34
It works fine however with current CVS texinfo. Related: <http://gcc.gnu.org/ml/gcc-patches/2008-02/msg00125.html> -- Ralf dot Wildenhues at gmx dot de changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |Ralf dot Wildenhues at gmx | |dot de http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35148
