diff options
Diffstat (limited to 'debian/libaac-tactics-ocaml-dev.ocamldoc')
-rw-r--r-- | debian/libaac-tactics-ocaml-dev.ocamldoc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/libaac-tactics-ocaml-dev.ocamldoc b/debian/libaac-tactics-ocaml-dev.ocamldoc index 83a7cff..f59e96e 100644 --- a/debian/libaac-tactics-ocaml-dev.ocamldoc +++ b/debian/libaac-tactics-ocaml-dev.ocamldoc @@ -1,3 +1,3 @@ -rectypes --I /usr/lib/coq/kernel -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping +-I /usr/lib/coq/kernel -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping -I /usr/lib/coq/engine --include debian/libaac-tactics-ocaml-dev/usr/lib/coq |