diff options
author | 2003-12-01 15:37:42 +0000 | |
---|---|---|
committer | 2003-12-01 15:37:42 +0000 | |
commit | 041fb62aa1f9845c20acabc29b385ecb0f376b06 (patch) | |
tree | 417caf2278d90da530463ee39194678fd6970384 | |
parent | 64abe2f912b9e52cfdb197070e3e0b8bb56cf5c5 (diff) |
numeros version
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | distrib/RELEASE | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/distrib/RELEASE b/distrib/RELEASE index 529010056..29a689a39 100644 --- a/distrib/RELEASE +++ b/distrib/RELEASE @@ -310,11 +310,11 @@ C1) PRÉPARATION Mettre à jour les fichiers suivants : - - Tutorial.tex : numéro de version (2 fois) et date + - Tutorial.tex : numéro de version et date (1 fois) - title.tex : numéro de version - - cover.html : numéro de version et date (2 fois) - - README : numéros de version (3 fois) - - macros.tex : numéro de version + - cover.html : numéro de version (2 fois) et date + - README : numéros de version (2 fois) + - Makefile : numero de version Vérification que "CHANGES" est à jour par rapport à "Changes.tex" |