Update the release host

gilith · Aug 11, 2018 · 9887f3e · 9887f3e
1 parent ad95cbb
commit 9887f3e
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -28,7 +28,7 @@ <h3>Download the opentheory tool</h3>
 
 <p>The latest version is
 
-opentheory 1.4 (release 20180523),
+opentheory 1.4 (release 20180810),
 
 and can be downloaded in the following formats:</p>
 

diff --git a/doc/index.html b/doc/index.html
@@ -65,7 +65,7 @@ <h3>Project status</h3>
 
 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
@@ -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"
-Original file line number
+Diff line change
@@ Expand Up / @@ -65,7 +65,7 @@ <h3>Project status</h3> @@
     is
-    opentheory 1.4 (release 20180523).
+    opentheory 1.4 (release 20180810).
     The opentheory tool is free software, released under the
@@ Expand Down @@