[Pkg-ocaml-maint-commits] [SCM] uuidm packaging branch, master, updated. debian/0.9.3-3-15-ge73757c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit dd5e16a81da620b8811105c2d046ecfe77a6c2ef
Author: Stephane Glondu <steph at glondu.net>
Date:   Sun Apr 8 17:41:06 2012 +0200

    Install documentation

diff --git a/debian/libuuidm-ocaml-dev.doc-base b/debian/libuuidm-ocaml-dev.doc-base
new file mode 100644
index 0000000..117edad
--- /dev/null
+++ b/debian/libuuidm-ocaml-dev.doc-base
@@ -0,0 +1,9 @@
+Document: uuidm
+Title: Uuidm API documentation
+Author: Daniel C. Bünzli
+Abstract: React ocamldoc-generated API documentation
+Section: Programming/OCaml
+
+Format: HTML
+Index: /usr/share/doc/libuuidm-ocaml-dev/html/index.html
+Files: /usr/share/doc/libuuidm-ocaml-dev/html/*
diff --git a/debian/libuuidm-ocaml-dev.docs b/debian/libuuidm-ocaml-dev.docs
new file mode 100644
index 0000000..e845566
--- /dev/null
+++ b/debian/libuuidm-ocaml-dev.docs
@@ -0,0 +1 @@
+README
diff --git a/debian/libuuidm-ocaml-dev.install b/debian/libuuidm-ocaml-dev.install
index 73752c9..247257e 100644
--- a/debian/libuuidm-ocaml-dev.install
+++ b/debian/libuuidm-ocaml-dev.install
@@ -1 +1,3 @@
 usr
+doc/*.html    /usr/share/doc/libuuidm-ocaml-dev/html
+doc/*.css     /usr/share/doc/libuuidm-ocaml-dev/html

-- 
uuidm packaging