diff --git a/srcpkgs/camlp5/template b/srcpkgs/camlp5/template index 2d07ecc842b..74e0809e16d 100644 --- a/srcpkgs/camlp5/template +++ b/srcpkgs/camlp5/template @@ -1,7 +1,7 @@ # Template file for 'camlp5' pkgname=camlp5 version=8.00.03 -revision=1 +revision=2 wrksrc="camlp5-rel${version}" build_style=configure configure_args="-mandir /usr/share/man"