MAJ

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

1 files changed, 34 insertions, 11 deletions

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 4721bd4bcf..ef84410f9a 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -23,9 +23,11 @@ A1) VÉRIFICATIONS
 
   - Changement des variables en tête du fichier "configure" et
     vérification du numéro de versions de OCaml et Camlp4 demandées
-  - Mise à jour des champs Version, Source et Require dans RH/coq.spec
+  - Mise à jour des champs Version, Source et éventuellement Require 
+    et setup dans RH/coq*.spec
   - Mise à jour des dépendances dans debian/control. Ajouter une référence
     à la version et un "* New upstream version" dans debian/changelog.
+    [Note: archive debian maintenant engendrée par Debian eux-mêmes]
   - Relecture des fichiers "README", "README.win", en particulier,
     vérification du numéro de version, des adresses internet et des
     coordonnées de Coq
@@ -65,6 +67,11 @@ A3) ESTAMPILLAGE DE L'ARCHIVE
   pour poser le tag V'X'-Y-Z à l'archive V'X' (on suppose que le numéro
   de version donné dans configure.distrib est V'X'.Y.Z).
 
+  Si le tag est à poser sur une branche, il ne faut pas utiliser "make tag"
+mais faire à la main
+
+  cvs rtag -r branch-tag VX-Y-Z 
+
   La commande "make tag" peut être refaite plusieurs fois auquel cas
 l'ancienne marque est supprimée avant d'être remise à la nouvelle
 place.
@@ -110,7 +117,7 @@ simplement copier le coq-X.Y.Z.tar.gz déjà fait) puis "make arch-tar-gz".
   Remarque : ce binaire est prévu pour être dé-tar-ré dans / avec une
 installation dans /usr/local/bin.
 
-A5b) Création du source rpm et du premier package rpm
+A5b) Création des sources rpm et des premiers packages rpm
 
      make rpm
 
@@ -126,15 +133,15 @@ prévus pour une installation dans /usr/bin (!).
 
 A5c) Création d'un second package rpm à partir des sources rpm
 
-  Refaire 
+  Faire 
 
-     make rpm
+     make arch-rpm
 
   sous une autre architecture pour créer un deuxième package rpm binaire.
 
   Pour l'installation sous ftp voir A7.
 
-A5d) Création d'un package coq-ide
+A5d) Création d'un package coq-ide (normalement fait par "make rpm")
 
   Faire un
 
@@ -304,10 +311,9 @@ B5) INSTALLATION SOUS FTP
 (**************************************************************************)
 C) LA DOC
 
-  Dans l'état actuel des choses, la doc est compilée dans le
-répertoire doc d'une copie locale des sources de Coq. Il n'y a pas
-pour la doc d'export relatif au tag V6-2-5 comme c'est le cas pour la
-creation de l'exécutable.
+  La doc se prépare à partir du répertoire cvs "doc". Sa compilation
+nécessite la présence dans le path d'une archive Coq correspondant au
+tag de la release.
 
 C1) PRÉPARATION
 
@@ -316,7 +322,7 @@ C1) PRÉPARATION
     Dvi: latex (latex2e), bibtex, makeindex, dviselect (rpm dviutils)
     Ps: dvips, psselect (package psutils)
     Pdf: pdflatex (optionnel)
-    Html: hevea (par Luc Maranget), htmlsplit (par David Delahaye)
+    Html: hevea (par Luc Maranget), htmlsplit (plus utilisé depuis Coq 8.0)
 
   Mettre à jour les fichiers suivants :
 
@@ -327,6 +333,8 @@ C1) PRÉPARATION
   - Makefile     : numero de version
 
   Vérification que "CHANGES" est à jour par rapport à "Changes.tex"
+(obsolète, plus de Changes.ps mais un Changes.html engendré
+manuellement à partir de CHANGES).
 
   Faire un make clean; grep V6 *.{tex,sty,html} pour s'assurer
 qu'aucun autre V6.? ne traine.
@@ -365,7 +373,22 @@ la doc séparemment depuis le répertoire doc avec
 
   cvs tag -F V6-2-5 * library/*
 
-C4) INSTALLATION SOUS FTP
+C4) LA BIBLIO STANDARD AU FORMAT COQDOC
+
+  Le package library-X.Y.tar.gz sa fait dans l'archive cvs du site
+web, répertoire www/coq/library. Il faut au préalable mettre à jour le
+fichier www/coq/config avec le bon tag de version. La cible est alors
+
+    make pages
+
+  Elle exporte une archive fraiche correspondant au tag du fichier
+config, puis recompile la bibliothèque standard en exportant les
+références globales. Elle applique ensuite coqdoc à la bibliothèque
+standard puis crée un paquet des pages html obtenues.
+
+  Il faut ensuite installer ce paquet à la main sur le site ftp.
+
+C5) INSTALLATION SOUS FTP
 
     Après avoir positionner la variable VERSION à V6.2.5, installer
 la doc sous ftp depuis le répertoire doc avec