version=6.1
source=(\
http://ftp.gnu.org/gnu/texinfo/texinfo-$version.tar.xz)
derle()
{
cd texinfo-*
./configure --prefix=/tools
make
make install
}