From 5639c36e4f47b7d864ae8adcb6b73b2b31fe0a5e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Sep 1998 15:01:27 +0000
Subject: Adjusted directories to /home/proofgen

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

diff --git a/Makefile.devel b/Makefile.devel
index 430a59f1..68dfb7fd 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -62,8 +62,7 @@ RELEASE_TAG=2.0-pre$(shell date "+%y%m%d")
 CVS_RELEASE_TAG=2-0-pre$(shell date "+%y%m%d")
 
 CVSNAME = elisp
-CVSROOT = /home/lego/src
-EXPORTDIR = /home/lego/pub/ProofGeneral
+CVSROOT = /home/proofgen/src
 
 NAME = ProofGeneral
 RELEASENAME = ProofGeneral-2.0
@@ -78,7 +77,7 @@ IGNOREDFILES=doc/ProofGeneral.pdf doc/ProofGeneral.dvi
 DISTBUILDIR = /tmp/ProofGeneralRelease
 
 # Where to install a new distribution
-RELEASEDIR = /home/lego/EXPORT/ProofGeneral
+RELEASEDIR = /home/proofgen/www
 
 # Files not kept under cvs to clean away.
 FILES_NONCVS = ChangeLog 
-- 
cgit v1.2.3