diff options
author | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 17:40:28 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-17 17:40:28 -0500 |
commit | b20441d21f73df0543190b13db3b593ae68fe5ee (patch) | |
tree | 87b3640e6328ee9604d2c9edbaa5f767f424735d | |
parent | e915c63a97bb0d49ba1eddb1579c07839c26e980 (diff) |
Ensure .cmi files are available when running ocamldoc
-rw-r--r-- | debian/libaac-tactics-ocaml-dev.ocamldoc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/libaac-tactics-ocaml-dev.ocamldoc b/debian/libaac-tactics-ocaml-dev.ocamldoc index f59e96e..78d3b20 100644 --- a/debian/libaac-tactics-ocaml-dev.ocamldoc +++ b/debian/libaac-tactics-ocaml-dev.ocamldoc @@ -1,3 +1,4 @@ -rectypes --I /usr/lib/coq/kernel -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping -I /usr/lib/coq/engine +-I src +-I /usr/lib/coq/kernel -I /usr/lib/coq/lib -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping -I /usr/lib/coq/engine --include debian/libaac-tactics-ocaml-dev/usr/lib/coq |