else \
echo "*** ERROR: the \"$@\" file does not exist, and AutoGen is not installed on your system"; \
echo "*** Please install AutoGen (http://www.gnu.org/software/autogen)"; \
else \
echo "*** ERROR: the \"$@\" file does not exist, and AutoGen is not installed on your system"; \
echo "*** Please install AutoGen (http://www.gnu.org/software/autogen)"; \