From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 2 Jul 2010 13:41:02 +0000 (+0200)
Subject: fix rpm name for ocamldoc -- looks like the ocaml doc part in vsys was never run... 
X-Git-Tag: 5.0-rc12~52^2~4
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=faf5b751fdef7fc5a24bbcbc85d7af2ca678522b;p=build.git

fix rpm name for ocamldoc -- looks like the ocaml doc part in vsys was never run before...
---

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 380f5820..07f62f05 100644
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -85,7 +85,7 @@ package: PyXML
 package: pciutils-devel
 ##########
 # for vsys - same as for php-devel above
-package: ocaml.@arch@ ocaml-docs 
+package: ocaml.@arch@ ocaml-ocamldoc
 # use local inotify-tools on centos
 package>=f8:inotify-tools-devel 
 ##########