Need texinfo for travis-ci.