From d9d169cb427ee7316e25f1e2d628f1844e035a6d Mon Sep 17 00:00:00 2001
From: narboux
Date: Sat, 25 Feb 2006 15:15:29 +0000
Subject: ajoute un warning sur htmlpp

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

diff --git a/distrib/NEWCONTRIB.howto b/distrib/NEWCONTRIB.howto
index c0f6bdb5b5..2b39abbe94 100644
--- a/distrib/NEWCONTRIB.howto
+++ b/distrib/NEWCONTRIB.howto
@@ -66,6 +66,10 @@ B) INT
    configurer ../config avec le tag de la version courante de Coq et
    s'être assuré que contrib-X.XX était effacé.
 
+   Cette étape nécessite la présence de htmlpp.
+   Attention il y a (au moins) deux programmes qui portent ce nom sur le web. 
+   Ici on a besoin de celui-ci : http://htmlpp.sourceforge.net/
+
 4) Faire une mise à jour partielle du site web de coq:
 
    export MACHINE=pauillac.inria.fr
-- 
cgit v1.2.3