Re: *ping* - libiberty: Fix make pdf for copying-lib.texi

2012-01-19 Thread DJ Delorie
I have no problems running make pdf in libiberty. texi2dvi (GNU Texinfo 4.13) 1.135

Re: *ping* - libiberty: Fix make pdf for copying-lib.texi

2012-01-19 Thread Tobias Burnus
DJ Delorie wrote: I have no problems running make pdf in libiberty. texi2dvi (GNU Texinfo 4.13) 1.135 That's odd. I have exactly the same version and I get the following TeX error. Tobias texi2pdf /home/tob/projects/gcc-git/gcc/libiberty/libiberty.texi This is pdfTeX, Version