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

[Samuel Mimram]

The following commit has been merged in the master branch:
commit b31ea13c9a0a4db04bf589706c888c8745375411
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 15:56:07 2009 +0100

    Add a README.source to mention quilt usage.

diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..90765e8
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,12 @@
+APRON Debian source package
+===========================
+
+Patching upstream sources
+-------------------------
+
+This source package uses quilt to apply and remove its patches. Please
+refer to `/usr/share/doc/quilt/README.source' for information about
+how to use quilt for source packages.
+
+The quilt series is generated from the Git repository. Have a look at
+the `redo-patches' target of debian/rules for more details.
diff --git a/debian/libapron-dev.docs b/debian/libapron-dev.docs
new file mode 100644
index 0000000..5323396
--- /dev/null
+++ b/debian/libapron-dev.docs
@@ -0,0 +1 @@
+debian/README.source
diff --git a/debian/libapron-ocaml-dev.docs b/debian/libapron-ocaml-dev.docs
new file mode 100644
index 0000000..5323396
--- /dev/null
+++ b/debian/libapron-ocaml-dev.docs
@@ -0,0 +1 @@
+debian/README.source
diff --git a/debian/libapron-ocaml.docs b/debian/libapron-ocaml.docs
new file mode 100644
index 0000000..5323396
--- /dev/null
+++ b/debian/libapron-ocaml.docs
@@ -0,0 +1 @@
+debian/README.source
diff --git a/debian/libapron.docs b/debian/libapron.docs
new file mode 100644
index 0000000..5323396
--- /dev/null
+++ b/debian/libapron.docs
@@ -0,0 +1 @@
+debian/README.source

-- 
apron packaging