From a9d762673a3b999dcbdc1080ae9d25d165977c79 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 30 Dec 2017 21:10:25 +0100 Subject: [PATCH] fix small linter issue in opam --- opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/opam b/opam index 6c17005d..b7f0bff2 100644 --- a/opam +++ b/opam @@ -12,10 +12,10 @@ build-doc: [ [make "doc"] ] install: [ - [make "DOCDIR=%{msat:doc}%" "install"] + [make "DOCDIR=%{doc}%" "install"] ] remove: [ - [make "DOCDIR=%{msat:doc}%" "uninstall"] + [make "DOCDIR=%{doc}%" "uninstall"] ] depends: [ "ocamlfind" {build}