From faf5b751fdef7fc5a24bbcbc85d7af2ca678522b Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Fri, 2 Jul 2010 15:41:02 +0200
Subject: [PATCH] fix rpm name for ocamldoc -- looks like the ocaml doc part in
 vsys was never run before...

---
 config.planetlab/devel.pkgs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 
 ##########
-- 
2.47.0