[m-rev.] for review: update NEWS and HISTORY files

[Peter Moulder]

On Fri, Mar 08, 2002 at 01:18:03AM +1100, Fergus Henderson wrote:

> NEWS:
> HISTORY:
> 	Move the news for 0.10.1 and 0.10 to the HISTORY file.

Excerpt from Gnu Standards document:

#    If the `NEWS' file gets very long, move some of the older items into
# a file named `ONEWS' and put a note at the end referring the user to
# that file.

Of course it isn't terribly important, but consistency is worth
something and I can't think of any reason why the Mercury distribution
should deviate from this suggestion.  (The name ONEWS makes it clearer
what sort of information it contains, typically more useful than HISTORY
files.)  So enough benefit to justify doing:

  mv -i HISTORY ONEWS
  cvs rm HISTORY
  cvs add -ko ONEWS
  cvs commit -m "Rename HISTORY to ONEWS as per Gnu standards." HISTORY ONEWS

pjm.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------