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/RELEASE | |
| 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/RELEASE')
| -rw-r--r-- | distrib/RELEASE | 8 |
1 files changed, 4 insertions, 4 deletions
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 |