# Exit on error:
set -e

wget http://ftpmirror.gnu.org/texinfo/texinfo-4.13a.tar.gz
tar xf texinfo-4.13a.tar.gz
cd texinfo-4.13

./configure \
    --prefix=/usr

make
make install

cd ..

pushd /usr/share/info
rm dir
for FILE in *
    do install-info $FILE dir 2>/dev/null
done
popd

exit