[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-68-g62d5fad

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit c51d4bea879020c21da31eae4bc703c0d9684f0e
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 11:33:24 2009 +0100

    New files libwhy-coq and why-examples.dirs

diff --git a/debian/libwhy-coq.dirs b/debian/libwhy-coq.dirs
new file mode 100644
index 0000000..41fd851
--- /dev/null
+++ b/debian/libwhy-coq.dirs
@@ -0,0 +1 @@
+usr/lib/coq
diff --git a/debian/why-examples.dirs b/debian/why-examples.dirs
new file mode 100644
index 0000000..b2fdacc
--- /dev/null
+++ b/debian/why-examples.dirs
@@ -0,0 +1 @@
+usr/share/doc/why

-- 
why packaging