From 3a80155d93d1543fbd5595053ea5fa8800d56196 Mon Sep 17 00:00:00 2001
From: narboux
Date: Sat, 25 Feb 2006 15:37:29 +0000
Subject: changement de path du site web

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

diff --git a/distrib/NEWCONTRIB.howto b/distrib/NEWCONTRIB.howto
index 2b39abbe94..a0466081d5 100644
--- a/distrib/NEWCONTRIB.howto
+++ b/distrib/NEWCONTRIB.howto
@@ -91,7 +91,7 @@ B) INT
    # des contribution par numéro de version de Coq
    #
    scp all-contribs/CONTRIBNAME.tar.gz \
-     $MACHINE:/net/yquem/infosystems/www/coq/contributions/VX.XX
+     $MACHINE:/net/yquem/infosystems/www/logical/coq/contributions/VX.XX
 
 5) S'assurer que le site web de coq a été mis à jour correctement, que
    la nouvelle contribution apparaît dans les versions anglaise et
-- 
cgit v1.2.3