diff options
| -rw-r--r-- | distrib/RELEASE | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/distrib/RELEASE b/distrib/RELEASE index 819fcb93c1..9e6a3b8339 100644 --- a/distrib/RELEASE +++ b/distrib/RELEASE @@ -340,6 +340,9 @@ la doc sous ftp depuis le répertoire doc avec On retrouve alors sous ftp avec le README, plusieurs couples .dvi.gz et .ps.gz, le tar de la doc html, le tar des docs en ps. + Ajouter à la main le fichier CHANGES de l'archive Coq dans + + /net/pauillac/infosystems/ftp/coq/coq/V6.2.5/doc (**************************************************************************) D) LE SERVEUR WEB |