Installing Texinfo-&texinfo-version; Estimated build time: &texinfo-time-tools; Estimated required disk space: &texinfo-compsize-tools; &aa-texinfo-down; &aa-texinfo-dep;    Installation of Texinfo Prepare Texinfo for compilation: ./configure --prefix=/tools Compile the programs: make This package has a test suite available which can perform a number of checks to ensure it built correctly. Should you choose to run it, the following command will do so: make check Then install them and their documentation: make install    The details on this package are found in .