[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. upstream/0.9.10-16-g9a1d54d

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 4501e37c1334590ed85b4b9fd80082c0d81bb09f
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 16:20:45 2009 +0100

    Install examples.

diff --git a/debian/libapron-dev.examples b/debian/libapron-dev.examples
new file mode 100644
index 0000000..a1b3f76
--- /dev/null
+++ b/debian/libapron-dev.examples
@@ -0,0 +1,3 @@
+apron/examples/*.c
+apron/examples/Makefile
+apron/examples/README
diff --git a/debian/libapron-ocaml-dev.examples b/debian/libapron-ocaml-dev.examples
new file mode 100644
index 0000000..ee7e0e0
--- /dev/null
+++ b/debian/libapron-ocaml-dev.examples
@@ -0,0 +1,3 @@
+apron/examples/*.ml
+apron/examples/Makefile
+apron/examples/README

-- 
apron packaging