Is texinfo needed if you've disabled the manpages?