From 740b46b08dc68490f3cdb5d9e14bc93869cc724b Mon Sep 17 00:00:00 2001 From: Joe Leslie-Hurd Date: Mon, 26 Feb 2018 12:48:00 -0800 Subject: [PATCH] New release --- Makefile.dev | 10 +++++++++- doc/download.html | 2 +- doc/index.html | 2 +- src/opentheory.sml | 2 +- 4 files changed, 12 insertions(+), 4 deletions(-) diff --git a/Makefile.dev b/Makefile.dev index a1644f5f..c03888d5 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -345,6 +345,14 @@ documentation: tarball: clean doc/DONT-RELEASE Makefile.dev cd .. ; COPYFILE_DISABLE=true tar cvzhf opentheory/release/opentheory.tar.gz --exclude-from opentheory/doc/DONT-RELEASE opentheory +.PHONY: release-instructions +release-instructions: + @echo "Completed release, now do the following:" + @echo "1. git add and commit all changes" + @perl -ne 'if ($$_ =~ /^opentheory ([0-9.]+) \(release ([0-9]+)\),$$/) { print "2. git tag -a v$$1.$$2 -s -m \"Version $$1 (release $$2)\"\n"; }' doc/download.html + @echo "3. git push --tags" + @echo "4. Goto github > opentheory > releases > Create a new release" + .PHONY: release release: release-stamp mosml mlton polyml documentation rm -f $(RELEASE_DIR)/*.html $(RELEASE_DIR)/*.png @@ -355,4 +363,4 @@ release: release-stamp mosml mlton polyml documentation rsync -azv --delete --checksum --size-only --exclude=.gitignore -e ssh $(RELEASE_DIR)/ joe@laurelin.gilith.com:www/gilith/software/opentheory ssh joe@laurelin.gilith.com '/bin/bash -l bin/install-opentheory' @if GIT_PAGER='' git grep '[*][*][*]' ; then echo "WARNING: TODO comments discovered" ; fi - @echo Completed release + $(MAKE) release-instructions diff --git a/doc/download.html b/doc/download.html index 36832189..8d8292b3 100644 --- a/doc/download.html +++ b/doc/download.html @@ -28,7 +28,7 @@

Download the opentheory tool

The latest version is -opentheory 1.3 (release 20171122), +opentheory 1.3 (release 20180226), and can be downloaded in the following formats:

diff --git a/doc/index.html b/doc/index.html index 932ab787..6931b369 100644 --- a/doc/index.html +++ b/doc/index.html @@ -65,7 +65,7 @@

Project status

is -opentheory 1.3 (release 20171122). +opentheory 1.3 (release 20180226). The opentheory tool is free software, released under the diff --git a/src/opentheory.sml b/src/opentheory.sml index 9b57a794..3c810a38 100644 --- a/src/opentheory.sml +++ b/src/opentheory.sml @@ -21,7 +21,7 @@ val program = "opentheory"; val version = "1.3"; -val release = " (release 20171122)"; +val release = " (release 20180226)"; val homepage = "http://www.gilith.com/software/opentheory"