The following commit has been merged in the master branch:
commit ecfb883decdc49f9ced38d2e40da38871bfd3ab0
Author: Stephane Glondu <st...@glondu.net>
Date:   Sat Dec 8 19:39:45 2012 +0100

    New directory

diff --git a/debian/libeliom-ocaml-dev.install.in 
b/debian/libeliom-ocaml-dev.install.in
index 3600a18..6f6c0b7 100644
--- a/debian/libeliom-ocaml-dev.install.in
+++ b/debian/libeliom-ocaml-dev.install.in
@@ -8,5 +8,6 @@
 @OCamlStdlibDir@/eliom/syntax/*
 usr/bin
 usr/share/man/man1
+usr/share/eliom
 DYN: @OCamlStdlibDir@/eliom/server/eliom.cmxa
 DYN: @OCamlStdlibDir@/eliom/server/eliom.a

-- 
eliom packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to