From 47393169db58d0556481d9a13007f047a5c6fdaa Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 17 Feb 2019 16:48:17 -0500 Subject: Update path to .mli files --- debian/libaac-tactics-ocaml-dev.install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/libaac-tactics-ocaml-dev.install b/debian/libaac-tactics-ocaml-dev.install index 18a9b3c..a830af4 100644 --- a/debian/libaac-tactics-ocaml-dev.install +++ b/debian/libaac-tactics-ocaml-dev.install @@ -1,2 +1,2 @@ usr/lib/coq/user-contrib/AAC_tactics/*.cmi -*.mli usr/lib/coq/user-contrib/AAC_tactics/ +src/*.mli usr/lib/coq/user-contrib/AAC_tactics/ -- cgit v1.2.3