From 1a84c5a2366600f274c610117cef59642718bf69 Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg@phi-gamma.net>
Date: Tue, 30 Oct 2018 23:46:56 +0100
Subject: oasis: add documentation target

---
 sid.opam | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'sid.opam')

diff --git a/sid.opam b/sid.opam
index d417760..de937d7 100644
--- a/sid.opam
+++ b/sid.opam
@@ -15,8 +15,9 @@ depends: [
 ]
 build: [
   ["oasis" "setup"]
-  ["ocaml" "setup.ml" "-configure"]
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
   ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-doc"] {with-doc}
 ]
 install: [make "install"]
 run-test: [make "test"]
-- 
cgit v1.2.3