git://git.onelab.eu / build.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1fc2590)
fix rpm name for ocamldoc -- looks like the ocaml doc part in vsys was never run...
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 2 Jul 2010 13:41:02 +0000 (15:41 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 2 Jul 2010 13:41:02 +0000 (15:41 +0200)
config.planetlab/devel.pkgs patch | blob | history

diff --git a/config.planetlab/devel.pkgs b/config.planetlab/devel.pkgs
index 380f582..07f62f0 100644 (file)
--- 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 
 ##########
build