Installing Texinfo-&texinfo-version;
Estimated build time:           &texinfo-time-tools;
Estimated required disk space:  &texinfo-compsize-tools;
&aa-texinfo-shortdesc;
&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