[m-dev.] change NEWS file to HTML

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Aug 30 11:54:57 AEST 2010


The NEWS file is currently a text file, but each time we release
Mercury we have to go through it and mark it up as HTML for the
website.  I propose that we make the master copy of the NEWS file
be in HTML and generate the text version from that, e.g. as we do
with the WORK_IN_PROGRESS file.

Any objections?


mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au

More information about the developers mailing list