[Pkg-ocaml-maint-commits] [ppx-derivers] 03/04: also install *.mli

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository ppx-derivers.

commit b7d94283d53cdfda5d195ab5e43aa3e73f2354f9
Author: Ralf Treinen <treinen at debian.org>
Date:   Mon Mar 5 20:31:30 2018 +0100

    also install *.mli
---
 debian/libppx-derivers-ocaml-dev.install.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/libppx-derivers-ocaml-dev.install.in b/debian/libppx-derivers-ocaml-dev.install.in
index 3daa883..cec0395 100644
--- a/debian/libppx-derivers-ocaml-dev.install.in
+++ b/debian/libppx-derivers-ocaml-dev.install.in
@@ -1,3 +1,4 @@
 _build/default/META.ppx_derivers      @OCamlStdlibDir@/ppx_derivers/META
 _build/default/src/ppx_derivers.c*    @OCamlStdlibDir@/ppx_derivers
 _build/default/src/ppx_derivers.[ao]  @OCamlStdlibDir@/ppx_derivers
+_build/default/src/ppx_derivers.mli   @OCamlStdlibDir@/ppx_derivers

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ppx-derivers.git