From 9887f3e7cd6c0345fb7a27bb067c52aeac287f16 Mon Sep 17 00:00:00 2001 From: Joe Leslie-Hurd Date: Fri, 10 Aug 2018 23:52:17 -0700 Subject: [PATCH] Update the release host --- Makefile.dev | 4 ++-- doc/download.html | 2 +- doc/index.html | 2 +- src/Tool.sml | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/Makefile.dev b/Makefile.dev index 11f98283..1c244bd7 100644 --- a/Makefile.dev +++ b/Makefile.dev @@ -363,7 +363,7 @@ release: release-stamp mosml mlton polyml documentation cp -v doc/favicon.ico $(RELEASE_DIR)/ cp -v doc/MIT-LICENSE $(RELEASE_DIR)/ $(MAKE) tarball - 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' + rsync -azv --delete --checksum --size-only --exclude=.gitignore -e ssh $(RELEASE_DIR)/ joe@login.gilith.com:www/gilith/software/opentheory + ssh joe@login.gilith.com '/bin/bash -l bin/install-opentheory' @if GIT_PAGER='' git grep '[*][*][*]' ; then echo "WARNING: TODO comments discovered" ; fi $(MAKE) release-instructions diff --git a/doc/download.html b/doc/download.html index 7c58bc2a..c36cade5 100644 --- a/doc/download.html +++ b/doc/download.html @@ -28,7 +28,7 @@

Download the opentheory tool

The latest version is -opentheory 1.4 (release 20180523), +opentheory 1.4 (release 20180810), and can be downloaded in the following formats:

diff --git a/doc/index.html b/doc/index.html index df5431e7..0ee980e5 100644 --- a/doc/index.html +++ b/doc/index.html @@ -65,7 +65,7 @@

Project status

is -opentheory 1.4 (release 20180523). +opentheory 1.4 (release 20180810). The opentheory tool is free software, released under the diff --git a/src/Tool.sml b/src/Tool.sml index c3933898..a31016fe 100644 --- a/src/Tool.sml +++ b/src/Tool.sml @@ -24,7 +24,7 @@ val name = "opentheory"; val version = "1.4"; -val release = " (release 20180523)"; +val release = " (release 20180810)"; val homepage = "http://www.gilith.com/software/opentheory"