diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template index af8e5a0fec8..596b9b67823 100644 --- a/srcpkgs/camlp5/template +++ b/srcpkgs/camlp5/template @@ -1,7 +1,7 @@ # Template file for 'camlp5' pkgname=camlp5 version=7.12 -revision=1 +revision=2 build_style=configure configure_args="-mandir /usr/share/man" hostmakedepends="ocaml"