Update the release host

gilith · Aug 11, 2018 · a0e808d · a0e808d
1 parent 6f57505
commit a0e808d
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/Makefile.dev b/Makefile.dev
@@ -393,8 +393,8 @@ release: release-stamp mosml mlton polyml status-test documentation $(STD_BENCHM
 	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/metis
-	ssh joe@laurelin.gilith.com '/bin/bash -l bin/install-metis'
+	rsync -azv --delete --checksum --size-only --exclude=.gitignore -e ssh $(RELEASE_DIR)/ joe@login.gilith.com:www/gilith/software/metis
+	ssh joe@login.gilith.com '/bin/bash -l bin/install-metis'
 	@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
@@ -31,7 +31,7 @@ <h3>Download Metis</h3>
 
 <p>The latest version is
 
-Metis 2.4 (release 20180301),
+Metis 2.4 (release 20180810),
 
 and can be downloaded in the following formats:</p>
 

diff --git a/doc/index.html b/doc/index.html
@@ -92,7 +92,7 @@ <h3>Project Status</h3>
 
 is
 
-Metis 2.4 (release 20180301).
+Metis 2.4 (release 20180810).
 
 Metis is free software, released under the
 

diff --git a/src/metis.sml b/src/metis.sml
@@ -13,7 +13,7 @@ val PROGRAM = "metis";
 
 val VERSION = "2.4";
 
-val versionString = PROGRAM^" "^VERSION^" (release 20180301)"^"\n";
+val versionString = PROGRAM^" "^VERSION^" (release 20180810)"^"\n";
 
 (* ------------------------------------------------------------------------- *)
 (* Program options.                                                          *)