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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit fe0dd1541cadee5ba28e084f57cdafac8a34f985
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon May 25 19:47:10 2009 +0200

    start manpage for edos-pscheck
    do not install manpages of {deb,rpm}-check
    better abstract for pkglab doc

diff --git a/debian/README.Debian b/debian/README.Debian
new file mode 100644
index 0000000..2a40347
--- /dev/null
+++ b/debian/README.Debian
@@ -0,0 +1,10 @@
+The distcheck binary provided by the edos-distcheck binary package
+provides the functionality of edos-debcheck and edos-rpmcheck, however
+not with the same user interface. This is the reason why this package
+does at the moment only implement the edos-pscheck functionality
+through the /usr/bin/edos-pscheck symlink. As soon as distcheck
+provides the full interface this package will contain also symlinks
+for /usr/bin/edos-{deb,rpm}check, and replace/conflict/provide with
+the packages edos-debcheck and edos-rpmcheck.
+
+ -- Ralf Treinen <treinen at debian.org>  Mon, 25 May 2009
diff --git a/debian/edos-distcheck.links b/debian/edos-distcheck.links
index fdbf354..0f378d7 100644
--- a/debian/edos-distcheck.links
+++ b/debian/edos-distcheck.links
@@ -1,3 +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-debcheck
+# usr/lib/edos-distcheck/distcheck usr/bin/edos-rpmcheck
 usr/lib/edos-distcheck/distcheck usr/bin/edos-pscheck
diff --git a/debian/edos-distcheck.manpages b/debian/edos-distcheck.manpages
index a91345a..3cd6d20 100644
--- a/debian/edos-distcheck.manpages
+++ b/debian/edos-distcheck.manpages
@@ -1,2 +1,3 @@
-debian/manpages/edos-debcheck.1
-debian/manpages/edos-rpmcheck.1
+# debian/manpages/edos-debcheck.1
+# debian/manpages/edos-rpmcheck.1
+debian/manpages/edos-pscheck.1
diff --git a/debian/manpages/edos-rpmcheck.1 b/debian/manpages/edos-pscheck.1
similarity index 85%
copy from debian/manpages/edos-rpmcheck.1
copy to debian/manpages/edos-pscheck.1
index 7a64f12..6fb1ef0 100644
--- a/debian/manpages/edos-rpmcheck.1
+++ b/debian/manpages/edos-pscheck.1
@@ -1,13 +1,13 @@
-.TH EDOS-RPMCHECK 1 2006-05-20 EDOS
+.TH EDOS-RPMCHECK 1 2009-05-25 EDOS
 
 .SH NAME
-Edos-rpmcheck \- Check satisfiability of rpm package dependencies
+Edos-pscheck \- Check satisfiability of pkgsrc package dependencies
 
 .SH SYNOPSIS
-\fBedos-rpmcheck\fR [option] ... [package] ...
+\fBedos-pscheck\fR [option] ... [package] ...
 
 .SH DESCRIPTION
-.B edos-rpmcheck
+.B edos-pscheck
 reads from standard input a set of rpm package descriptions. Packages may
 appear with multiple versions in this set. For instance, an uncompressed
 \fIhdlist.cz\fR is suitable as input.
@@ -81,11 +81,14 @@ distribution described by the file Packages:
 
 
 .SH AUTHOR
-Edos-rpmcheck has been written by Jerome Vouillon for the EDOS project. This
-man-page has been compiled by Ralf Treinen.
+Edos-pscheck has been written by Jerome Vouillon and Jaap Boender for
+the EDOS and Mancoosi projects. This man-page has been compiled by
+Ralf Treinen.
 
 .SH SEE ALSO
 <http://www.edos-project.org> is the home page of the EDOS project.
 
 .BR edos-debcheck (1)
-is the analogous tool for debian packages.
+and 
+.BR edos-rpmcheck (1)
+are the analogous tool for debian and rpm packages.
diff --git a/debian/pkglab.doc-base b/debian/pkglab.doc-base
index aa51340..be9f804 100644
--- a/debian/pkglab.doc-base
+++ b/debian/pkglab.doc-base
@@ -1,7 +1,11 @@
 Document: pkglab
 Title: Pkglab documentation
 Author: Jaap Boender
-Abstract: This document describes the pkglab interactive installability checker
+Abstract: Pkglab is a tool for exploring open-source distributions,
+ supporting Debian-style and RPM-based distributions, as well as pkgsrc summary
+ files. In particular it allows to test for installability of packages by their
+ declared inter-package relationships. This document explains how to use the
+ pkglab interactive environment.
 Section: System/Package Management
 
 Format: HTML

-- 
pkglab packaging