From a25a809952d7780f08079f7e3c72c4800e82e0e5 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Sun, 19 Dec 2010 12:49:13 +0100
Subject: [PATCH] ocaml-ocamldoc is required at build time for the vsys rpm

---
 config.planetlab/devel.pkgs | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 80a94837..d8152833 100644
--- a/config.planetlab/devel.pkgs
+++ b/config.planetlab/devel.pkgs
@@ -1,8 +1,7 @@
-# $Id$
-# $URL$
 #
 groupname: PlanetLabDevel
 groupdesc: Building PlanetLab
+#
 # general utilities
 package: sendmail sendmail-cf mailx 
 package: make git
@@ -87,7 +86,7 @@ package: pciutils-devel
 package: python-simplejson
 ##########
 # for vsys - same as for php-devel above
-package: ocaml.@arch@ ocaml-docs
+package: ocaml.@arch@ ocaml-ocamldoc ocaml-docs 
 # use local inotify-tools on centos
 package>=f8:inotify-tools-devel 
 ##########
-- 
2.47.0