[Pkg-ocaml-maint-commits] [ppx-derivers] 02/08: fix install file

[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 d8c35a1191bfc9435d0bfaa12b7d4fc40c947acd
Author: Ralf Treinen <treinen at debian.org>
Date:   Fri Feb 23 19:33:39 2018 +0100

    fix install file
---
 debian/libppx-derivers-ocaml-dev.install.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/libppx-derivers-ocaml-dev.install.in b/debian/libppx-derivers-ocaml-dev.install.in
index 364acc3..3daa883 100644
--- a/debian/libppx-derivers-ocaml-dev.install.in
+++ b/debian/libppx-derivers-ocaml-dev.install.in
@@ -1,2 +1,3 @@
-_build/install/default/lib/ppx_derivers/META            @OCamlStdlibDir@/ppx_derivers
-_build/install/default/lib/ppx_derivers/ppx_derivers.*  @OCamlStdlibDir@/ppx_derivers
+_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

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