Re: texi2dvi: Beware of local, and find DVIPS figures

[Karl Berry]

    But where is that gnulib-tool stuff?  

You get it from a CVS checkout of gnulib.
http://www.gnu.org/software/gnulib