[m-dev.] change NEWS file to HTML

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


Hi,

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?

Julien.

--------------------------------------------------------------------------
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