[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 ff81f6db447c9770cbcddac6f08909413ac55d93
Author: Ralf Treinen <treinen at free.fr>
Date:   Mon May 25 21:18:01 2009 +0200

    finish manpage

diff --git a/debian/manpages/edos-pscheck.1 b/debian/manpages/edos-pscheck.1
index 6fb1ef0..9234f3c 100644
--- a/debian/manpages/edos-pscheck.1
+++ b/debian/manpages/edos-pscheck.1
@@ -4,16 +4,13 @@
 Edos-pscheck \- Check satisfiability of pkgsrc package dependencies
 
 .SH SYNOPSIS
-\fBedos-pscheck\fR [option] ... [package] ...
+\fBedos-pscheck\fR [option] ... pkg-summary-file
 
 .SH DESCRIPTION
 .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.
-
-We say that a package is identified
-in this set by the pair consisting of the
+reads package descriptions from a file in the pkg_summary format of
+NetBSD.  We say that a package is identified by the pair consisting of
+the
 .I package name
 and of the
 .I package version\fR. 
@@ -25,12 +22,13 @@ packages if there exists a subset of the packages that
  - all packages of the subset have their dependencies and conflicts satisfied 
 in this subset.
 
-.B Edos-rpmcheck
-checks whether every package given as argument is installable
-with respect to the input set of packages. Specific versions can be specified
-by following the package name with the sign '=' and the version of the package
-(for instance, 'xemacs21=21.4.17-1'). If no package name is given as argument
-then all packages of the input set are checked for satisfiability.
+.B Edos-psmcheck
+checks whether every package in the set is installable with respect to
+the input set of packages. Specific versions can be specified by
+following the package name with the sign '=' and the version of the
+package (for instance, 'xemacs21=21.4.17-1'). If no package name is
+given as argument then all packages of the input set are checked for
+satisfiability.
 
 The constraint solving algorithm is complete, that is it finds a solution
 whenever there exists one, even for multiple disjunctive dependencies and deep
@@ -70,15 +68,9 @@ Display this list of options
 .SH EXAMPLE
 Check which packages in a particular distribution are not installable and why:
 
-  gunzip -c hdlist.cz | edos-rpmcheck -failures -explain
-
-where hdlist.cz is the file pertaining to that distribution.
-
-Check whether version 21.4.17-1 of the xemacs21 package is installable in a
-distribution described by the file Packages:
-
-  gunzip -c hdlist.cz | edos-rpmcheck -explain xemacs=21.4.17-1
+  edos-pscheck -failures -explain pkg_summary
 
+where pkg_summary is the file pertaining to that distribution.
 
 .SH AUTHOR
 Edos-pscheck has been written by Jerome Vouillon and Jaap Boender for

-- 
pkglab packaging