echo "char *version_str = \"nmh-$VERSION [compiled on $HOSTNAME at `date`]\";"
fi
echo "char *version_num = \"nmh-$VERSION\";"
echo "char *version_str = \"nmh-$VERSION [compiled on $HOSTNAME at `date`]\";"
fi
echo "char *version_num = \"nmh-$VERSION\";"