From 376dafdead8a322b5088f55d316fe7c99d6748ec Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 6 Oct 2005 12:04:15 +0000
Subject: MAJ pauillac -> yquem

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7426 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/NEWCONTRIB.howto | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/distrib/NEWCONTRIB.howto b/distrib/NEWCONTRIB.howto
index 09b1ec64e3..19c32ed9eb 100644
--- a/distrib/NEWCONTRIB.howto
+++ b/distrib/NEWCONTRIB.howto
@@ -44,7 +44,7 @@ A) Dans l'archive des contributions nouvelle syntaxe ("constr/contrib8",
 
 10) Si la contribution compile bien, on peut déplacer le tag associé à
    la version actuellement distribuée vers les nouveaux fichiers et
-   répertoires.
+   répertoires (utiliser "cvs tag -F nom-du-tag noms-des-fichiers")
 
 
 B) Sur la section contributions du site web de Coq (module www sur
@@ -66,7 +66,7 @@ B) Sur la section contributions du site web de Coq (module www sur
 4) Faire une mise à jour partielle du site web de coq:
 
    export MACHINE=pauillac.inria.fr
-   export WEB=/net/pauillac/infosystems/www/coq/contribs
+   export WEB=/net/yquem/infosystems/www/logical/coq/contribs
    export FTP=/net/pauillac/infosystems/ftp/coq/coq/current
    scp all-contribs/CONTRIBNAME.{tar.gz,html,description}\
      all-contribs/search.db all-contribs/summary.html *.html $MACHINE:$WEB
-- 
cgit v1.2.3