diff --git a/opam b/opam index fedc35ddc369ad48788e98ff3da7ddb35a81dbbe..7ea652e166d0055483e4878b6a233f8bb17eb773 100644 --- a/opam +++ b/opam @@ -98,7 +98,7 @@ build: [ install: [ [make - "PREFIX=%{prefix}%" "MANDIR=%{man}%" + "RELEASE=yes" "PREFIX=%{prefix}%" "MANDIR=%{man}%" "DOCDIR=%{doc}%" { with-doc } "install" ]