From f67293ef4c6d37f3bf5b221685bd87bcea8836d4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 18:33:51 +0000
Subject: Set CVSROOT for remote cvs.

---
 Makefile.devel | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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