diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-10-03 14:04:41 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-10-03 14:04:41 +0000 |
| commit | bdc48f9b16e31dbf1c90dfb5b4cccb221886f132 (patch) | |
| tree | 40ede4970e51669df149c0924fa4d38c16a4613e | |
| parent | 49669467a1a31e87d3d359de96b0a5167bb7bdf2 (diff) | |
MAJ doc
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2097 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/RELEASE | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/distrib/RELEASE b/distrib/RELEASE index dd89f697d..adbdebbaa 100644 --- a/distrib/RELEASE +++ b/distrib/RELEASE @@ -289,7 +289,19 @@ pour faire des rapports INRIA. Si un fichier Anomaly.dvi doit être distribué, s'en occuper à la main (ou modifier le Makefile en conséquence). -C2) COMPILATION + Si un fichier Changes.dvi doit être distribué, s'en occuper à la main +(ou modifier le Makefile en conséquence). + +C2) ESTAMPILLAGE + + Faire + + cvs rtag -F V7-1 doc + + pour tagger l'archive avec le numéro de la version de Coq auquel + elle correspond + +C3) COMPILATION Pour compiler l'ensemble des fichiers de documentation à installer sous ftp et/ou sur le serveur web, faire dans le répertoire doc @@ -305,7 +317,7 @@ la doc séparemment depuis le répertoire doc avec cvs tag -F V6-2-5 * library/* -C3) INSTALLATION SOUS FTP +C4) INSTALLATION SOUS FTP Après avoir positionner la variable VERSION à V6.2.5, installer la doc sous ftp depuis le répertoire doc avec |