# Process $1.m4 with m4 using the given options.
echo "m4(): generating '$file' from '$file.m4' with options '$*'"
$m4 $* $file.m4 >> $file
# Process $1.m4 with m4 using the given options.
echo "m4(): generating '$file' from '$file.m4' with options '$*'"
$m4 $* $file.m4 >> $file