diff --git a/Makefile.dev b/Makefile.dev index b54b9cd..3e64a17 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -377,14 +377,14 @@ tarball: doc/DONT-RELEASE Makefile.dev .PHONY: release-instructions release-instructions: - @echo "*************************************************************" + @echo "===============================================================" @echo "Completed release, now do the following:" @echo "1. git add, commit and push all changes" @perl -ne 'if ($$_ =~ /^Metis ([0-9.]+) \(release ([0-9]+)\),$$/) { print "2. git tag -a -s v$$1.$$2 -m \"Version $$1 (release $$2)\"\n"; }' doc/download.html @echo "3. git push --tags" @echo "4. Browse to github > metis > releases > Latest release" @echo "5. Add the release name and tarball" - @echo "*************************************************************" + @echo "===============================================================" .PHONY: release release: release-stamp mosml mlton polyml status-test documentation $(STD_BENCHMARK) diff --git a/doc/changelog.html b/doc/changelog.html index 7204ff1..f54a647 100644 --- a/doc/changelog.html +++ b/doc/changelog.html @@ -29,13 +29,21 @@

Changes to Metis

-

Recent Changes

+ + +

Version 2.4: 1 March 2018