diff options
| author | herbelin | 2003-12-28 22:05:25 +0000 |
|---|---|---|
| committer | herbelin | 2003-12-28 22:05:25 +0000 |
| commit | 5522a818a864e789dc0f05fc0ceca52cf29f3dd8 (patch) | |
| tree | d91acdcb8c27e4c4b3555b3a9b7d697b5aff5bfd /distrib/Makefile | |
| parent | e5ee96a918963f9e92bde8b9555b5f6132e9e298 (diff) | |
MAJ 8.0
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib/Makefile')
| -rw-r--r-- | distrib/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 374239ce87..24dbb27b0b 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -71,6 +71,8 @@ tar-gz: @rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES} @rm -rf ${COQPACKAGE}/theories/Num @rm -rf ${COQPACKAGE}/doc/newsyntax.tex + @rm -f ${COQPACKAGE}/make.result + @rm -rf ${COQPACKAGE}/test-suite/parser # tests pcoq @find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \; @echo done @echo -n Building the tar.gz source package |