diff options
| author | herbelin | 2001-12-23 13:29:02 +0000 |
|---|---|---|
| committer | herbelin | 2001-12-23 13:29:02 +0000 |
| commit | 0f212bd0c2b1ddfa354cd6615c60a64f6599e3d4 (patch) | |
| tree | 95ccf34a70321cf680bbfc1ecf89d362fa0ae2bd | |
| parent | 28a9c9f8c797c78007c3df55b7f1e992a32ca8e4 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 |