[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.4-1-16-g75705a4

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 5ce9017aff84c94b06c13d1833f0f12b273189b7
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon May 25 08:56:34 2009 +0200

    install pkglab doc
    install edos-distcehck

diff --git a/debian/edos-distcheck.links b/debian/edos-distcheck.links
new file mode 100644
index 0000000..fdbf354
--- /dev/null
+++ b/debian/edos-distcheck.links
@@ -0,0 +1,3 @@
+usr/lib/edos-distcheck/distcheck usr/bin/edos-debcheck
+usr/lib/edos-distcheck/distcheck usr/bin/edos-rpmcheck
+usr/lib/edos-distcheck/distcheck usr/bin/edos-pscheck
diff --git a/debian/pkglab.doc-base b/debian/pkglab.doc-base
new file mode 100644
index 0000000..aa51340
--- /dev/null
+++ b/debian/pkglab.doc-base
@@ -0,0 +1,9 @@
+Document: pkglab
+Title: Pkglab documentation
+Author: Jaap Boender
+Abstract: This document describes the pkglab interactive installability checker
+Section: System/Package Management
+
+Format: HTML
+Index: /usr/share/doc/pkglab/pkglab.html
+Files: /usr/share/doc/pkglab/pkglab.html
diff --git a/debian/pkglab.docs b/debian/pkglab.docs
new file mode 100644
index 0000000..d0ba428
--- /dev/null
+++ b/debian/pkglab.docs
@@ -0,0 +1 @@
+doc/pkglab.html

-- 
pkglab packaging