DJ Delorie Thu, 19 Jan 2012 11:30:39 -0800
I have no problems running "make pdf" in libiberty.
texi2dvi (GNU Texinfo 4.13) 1.135