From 041fb62aa1f9845c20acabc29b385ecb0f376b06 Mon Sep 17 00:00:00 2001
From: marche
Date: Mon, 1 Dec 2003 15:37:42 +0000
Subject: numeros version

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5054 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RELEASE | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 5290100560..29a689a392 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -310,11 +310,11 @@ C1) PR
 
   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"
 
-- 
cgit v1.2.3