echo "Removing all stale distribution files..."
# put removal here
rm -f Makefile.in configure config.cache configure.cache Makefile
rm -f config.log config.status
# stop
echo "Done."
