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 /distrib | |
| parent | 28a9c9f8c797c78007c3df55b7f1e992a32ca8e4 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2373 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'distrib')
| -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 |