diff options
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 7b44834c..a3e43faa 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -61,7 +61,7 @@ EMACS=xemacs RELEASE_TAG=2.0-pre$(shell date "+%y%m%d") CVS_RELEASE_TAG=2-0-pre$(shell date "+%y%m%d") -CVSNAME = elisp +CVSNAME = ProofGeneral CVSROOT = /home/proofgen/src NAME = ProofGeneral |