: sh

VERSION=v1.73

echo	'extern const char Version[] = "'$VERSION'";'
echo -n 'extern const char CompileDate[] = "'; echo -n "`date`"; echo '";'
