From f5afac0b71c851242401099e19a03fd8c64871ef Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 21 Sep 2012 18:30:14 +0200 Subject: Update build system --- debian/libaac-tactics-ocaml-dev.ocamldoc | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 debian/libaac-tactics-ocaml-dev.ocamldoc (limited to 'debian/libaac-tactics-ocaml-dev.ocamldoc') diff --git a/debian/libaac-tactics-ocaml-dev.ocamldoc b/debian/libaac-tactics-ocaml-dev.ocamldoc new file mode 100644 index 0000000..83a7cff --- /dev/null +++ b/debian/libaac-tactics-ocaml-dev.ocamldoc @@ -0,0 +1,3 @@ +-rectypes +-I /usr/lib/coq/kernel -I /usr/lib/coq/proofs -I /usr/lib/coq/pretyping +--include debian/libaac-tactics-ocaml-dev/usr/lib/coq -- cgit v1.2.3