&buildtime; &texinfo-time-tools; &diskspace; &texinfo-compsize-tools; &aa-texinfo-down; &aa-texinfo-dep;   Prepare Texinfo for compilation: ./configure --prefix=/tools Compile the programs: make (If you insist on testing the results, then issue: make check.) Then install them and their documentation: make install   The details on this package are found in .