On Thu, Sep 16, 2004 at 11:23:30AM +0200, Giuseppe Bilotta wrote: > BTW, making --without-texinfo does not seem to imply --without- > pdftexinfo ... is this intentional? That's something special of TeX Live. teTeX has neither the texinfo format for the pdftexinfo. texi2dvi does not need either of them. Thomas