I have no problems running "make pdf" in libiberty.

texi2dvi (GNU Texinfo 4.13) 1.135

Reply via email to