diff options
| -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 |