Modified Files: src: Makefile Log Message: Build and install texinfo before building and installing the world. isn't this a bit much? like, there are >50 tools we need for the world.. i don't want to have to build texinfo stuff twice for every build.