MAJ 8.0

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5158 85f007b7-540e-0410-9357-904b9bb8a0f7

4 files changed, 9 insertions, 6 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
diff --git a/distrib/RELEASE b/distrib/RELEASE
index 29a689a392..0ef0b09fa5 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -29,8 +29,9 @@ A1) VÉRIFICATIONS
   - Relecture des fichiers "README", "README.win", en particulier,
     vérification du numéro de version, des adresses internet et des
     coordonnées de Coq
-  - Relecture des fichiers "INSTALL", "INSTALL.win" en particulier numéro
-    de version de coq et numéros des versions de OCaml et Camlp4 demandées
+  - Relecture des fichiers "INSTALL", "INSTALL.win", "INSTALL.macosx",
+    en particulier numéro de version de coq et numéros des versions de
+    OCaml et Camlp4 demandées
   - Mise à jour/nettoyage du fichier CHANGES et du fichier ANNONCE
   - Mise à jour des fichiers .dep.ps dans le répertoire doc (faire make
     depend depuis ce répertoire)
@@ -87,8 +88,7 @@ que les paramètres sont corrects.
 
   Pour l'installation sous ftp voir A7.
 
-
- tag -F V6-2-5 nom_du_fichierqq5) CREATION DES PACKAGES BINAIRES (ad libitum)
+A5) CREATION DES PACKAGES BINAIRES (ad libitum)
    (prévoir pour chaque package près de 100Mo dispo sur la partition)
 
 A5a) Création d'un package binaire tar.gz 
diff --git a/distrib/check-list b/distrib/check-list
index 0ae0b0c466..c686a58e6c 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -80,7 +80,7 @@ versionspec2=`grep "^Source: " ./RH/coq.spec.tpl | sed -e 's!.*coq-\(.*\)\.tar\.
 if [ "$versionspec1" = "$version" -a "$versionspec2" = "$version" ];
 then echo "Version number in coq.spec seems OK ($versionspec1)";
 else
-  echo "Wrong version numbers in coq.spec ($versionspec1 and $versionspec2)"
+  echo "Wrong version numbers in coq.spec ($versionspec1 and $versionspec2 instead of $version)"
   echo Aborting; exit 1
 fi
 #  ocamlversionspec=`grep "^Requires: ocaml" ./coq.spec | sed -e 's/Requires: ocaml >= \(.*\)/\1/'`
diff --git a/distrib/configure.distrib b/distrib/configure.distrib
index b017b8c833..ac52c65b22 100755
--- a/distrib/configure.distrib
+++ b/distrib/configure.distrib
@@ -31,7 +31,8 @@ case $ANSWER in
 esac
 
 DASHEDVERSION=V`echo $VERSION | sed -e 's/\./-/g'`
-MAJORVERSION=V`echo $VERSION | sed -e 's/^\([0-9]\)\.[0-9].*/\1/'`
+#MAJORVERSION=V`echo $VERSION | sed -e 's/^\([0-9]\)\.[0-9].*/\1/'`
+MAJORVERSION=V7
 MAINNUMBER=`echo $VERSION | sed -e 's/\(.*\)\.[0-9]*$/\1/'`
 LASTNUMBER=`echo $VERSION | sed -e 's/.*\.\([0-9]*\)$/\1/'`
 if [ "$LASTNUMBER" = "0" ]; then