diff options
| -rw-r--r-- | distrib/RELEASE | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/distrib/RELEASE b/distrib/RELEASE index 17e017092d..5290100560 100644 --- a/distrib/RELEASE +++ b/distrib/RELEASE @@ -375,7 +375,9 @@ D) LE SERVEUR WEB D1) PRÉPARATION Cela se fait sous CVS : faire un check-out ou update du module -"www" quelque part chez soi en dehors de l'archive V6, puis +"www" quelque part chez soi en dehors de l'archive V6 + + - se placer dans le sous-répertoire "coq" de l'archive "www" - mettre à jour les fichiers suivants du répertoire coq (numéro de version, version nécessaires de ocaml et camlp4, date de mise à |