diff options
| author | David Aspinall | 1998-09-24 15:01:27 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-24 15:01:27 +0000 |
| commit | 5639c36e4f47b7d864ae8adcb6b73b2b31fe0a5e (patch) | |
| tree | d9338f1e4a376ed0948b4de7faffc22bd8a8ed2b | |
| parent | 89044ea6580b20b7abf7f9ea6a0fed67a4b310e7 (diff) | |
Adjusted directories to /home/proofgen
| -rw-r--r-- | Makefile.devel | 5 |
1 files 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 |