diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-10-06 12:04:15 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2005-10-06 12:04:15 +0000 |
| commit | 376dafdead8a322b5088f55d316fe7c99d6748ec (patch) | |
| tree | c98148d1f45c851bec426926c1abf3707be2c10c | |
| parent | 4c9ec2388c7c48651e2342e08a3d62d65f293d45 (diff) | |
MAJ pauillac -> yquem
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7426 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | distrib/NEWCONTRIB.howto | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/distrib/NEWCONTRIB.howto b/distrib/NEWCONTRIB.howto index 09b1ec64e..19c32ed9e 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 |