#!/bin/bash
die() {
echo "$@" >&2
exit 1
}
BASEDIR="$(dirname "$0")"
cd "$BASEDIR" || die "Could not change into base directory $BASEDIR"
autoreconf -fi || die "Error during autoreconf"
rm -Rf autom4te.cache;
doc/autogen.sh || die "Error during doc/autogen.sh"