git://git.onelab.eu / wextoolbox.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e5c6207)
use ocamldoc
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 6 Jul 2010 07:03:23 +0000 (10:03 +0300)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 6 Jul 2010 07:03:23 +0000 (10:03 +0300)
devel.pkgs patch | blob | history

diff --git a/devel.pkgs b/devel.pkgs
index dd3be40..aaf7260 100644 (file)
--- a/devel.pkgs
+++ b/devel.pkgs
@@ -81,7 +81,7 @@ package: PyXML
 package: pciutils-devel
 ##########
 # for vsys - same as for php-devel above
 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 
 ##########
 # use local inotify-tools on centos
 package>=f8:inotify-tools-devel 
 ##########
wextoolbox