diff options
| author | herbelin | 2000-12-22 09:28:44 +0000 |
|---|---|---|
| committer | herbelin | 2000-12-22 09:28:44 +0000 |
| commit | db5d4ed0a03173d97318940ea3bbd6e48228f912 (patch) | |
| tree | 811350a66e8dd5564045ebfbc944dd51400b92e5 /distrib/Makefile | |
| parent | 78dc7c70892c514d4ec1dda1cfd70a616e52515d (diff) | |
MAJ V7
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1191 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 786dc4c117..e6948a799c 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -62,7 +62,8 @@ tar-gz: @echo -n Removing the maintenance files and doc... @rm -rf ${COQPACKAGE}/doc @rm -rf ${COQPACKAGE}/distrib - @rm -rf ${COQPACKAGE}/{KNOWN-BUGS,TODO,ANNONCE} +# @rm -rf ${COQPACKAGE}/KNOWN-BUGS + @rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES} @find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \; @echo done @echo -n Building the tar.gz source package |