From 518849bff31120315f85cd87b368618c19aeee19 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Oct 1998 17:33:40 +0000
Subject: Removed ssh.dcs.ed.ac.uk from remote release.

---
 Makefile.devel | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index a6b7fee4..e47a3504 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -39,7 +39,8 @@ CVSNAME = ProofGeneral
 
 # Remote commands to use CVS in server mode and install files.
 # With these settings the build can be done remotely.
-CVSROOT = :ext:$(USER)@ssh.dcs.ed.ac.uk:/home/proofgen/src
+MACHINE=hope
+CVSROOT = :ext:$(USER)@$(MACHINE).dcs.ed.ac.uk:/home/proofgen/src
 CVS_RSH=ssh
 
 
-- 
cgit v1.2.3