diff options
| -rw-r--r-- | distrib/RELEASE | 8 |
1 files 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É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" |