#! /bin/sh
srcdir=$(dirname $0)
sed -e "s!@SRCDIR@!$srcdir!" $srcdir/GNUmakefile.in > GNUmakefile
echo done
