On 2012-04-16, at 11:27 PM, Mike Wirth wrote:
Thanks, Marc,
This looks like the kind of critical info that belongs in a README file at the top level, to be printed out, laminated in plastic and posted over my machine :-)
Indeed. I'll be changing the README and INSTALL.txt files, and the wiki.
Marc