use AS_HELP_STRING for formatting help messages
[mmh] / VERSION
1 1.2