Change push destination from trex.iro.umontreal.ca to frontal.iro.umo…

…ntreal.ca

makefile.in

@@ -134,7 +134,7 @@ status: fake_target
 
 push: fake_target
 	@if test "$(RC)" = "$(GIT)"; then \
-	  $(GIT) push ssh://gambit@public-gambit-repo/~/HTML/repo/gambit.git/; \
+	  $(GIT) push ssh://gambit@frontal.iro.umontreal.ca/~/HTML/repo/gambit.git/; \
 	else \
 	  $(HG) push; \
 	fi
@@ -309,7 +309,7 @@ rc-setup-pre:
 	  $(HG) add $(RCFILES) $(HGRCFILES); \
 	  rm -f .hg/hgrc; \
 	  echo "[paths]" > .hg/hgrc; \
-	  echo "default-push = ssh://gambit@public-gambit-repo/HTML/repo/gambit" >> .hg/hgrc; \
+	  echo "default-push = ssh://gambit@frontal.iro.umontreal.ca/HTML/repo/gambit" >> .hg/hgrc; \
 	  echo "default = http://www.iro.umontreal.ca/~gambit/repo/gambit/" >> .hg/hgrc; \
 	fi
 

misc/publish-release

@@ -1,7 +1,5 @@
 #! /bin/sh
 
-# Time-stamp: <2008-10-06 08:24:45 feeley>
-
 # Usage: publish-release <version> <sources-tgz> <sources-tgz-devel> <prebuilt>...
 
 VERSION="$1"
@@ -21,4 +19,4 @@ done
 echo "You will have to enter the Gambit web site password to confirm the operation."
 echo ""
 
-tar cf - $TGZ $TGZ_DEVEL $PREBUILT | ssh -o PreferredAuthentications=keyboard-interactive,password gambit@trex.iro.umontreal.ca "rm -rf release-$VERSION;mkdir release-$VERSION;(cd release-$VERSION && tar xvf -);bin/publish-release $VERSION $TGZ $TGZ_DEVEL $PREBUILT;rm -rf release-$VERSION"
+tar cf - $TGZ $TGZ_DEVEL $PREBUILT | ssh -o PreferredAuthentications=keyboard-interactive,password gambit@frontal.iro.umontreal.ca "rm -rf release-$VERSION;mkdir release-$VERSION;(cd release-$VERSION && tar xvf -);bin/publish-release $VERSION $TGZ $TGZ_DEVEL $PREBUILT;rm -rf release-$VERSION"