# Exit on error:
set -e

wget http://ftpmirror.gnu.org/autoconf/autoconf-2.13.tar.gz
tar xf autoconf-2.13.tar.gz
cd autoconf-2.13

./configure --prefix=/local \
    --infodir=/local/share/info

make install
cd ..
rm -rf autoconf-2.13
rm autoconf-2.13.tar.gz

exit 0