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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 9f30556381e08fb063471980e680a25981098cf8
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed May 20 08:19:27 2009 +0200

    misplaced manpages

diff --git a/manpages/edos-debcheck.1 b/manpages/edos-debcheck.1
deleted file mode 100644
index 3dc9eff..0000000
--- a/manpages/edos-debcheck.1
+++ /dev/null
@@ -1,87 +0,0 @@
-.TH EDOS-DEBCHECK 1 2006-05-20 EDOS
-
-.SH NAME
-Edos-debcheck \- Check satisfiability of Debian package dependencies
-
-.SH SYNOPSIS
-\fBedos-debcheck\fR [option] ... [package] ...
-
-.SH DESCRIPTION
-.B edos-debcheck
-reads from standard input a set of Debian package descriptions, each of which
-is in the format of deb-control(5). For instance, the Packages files as found
-on a Debian mirror server, or in the directory \fI/var/lib/apt/lists/\fR of a
-Debian system, are suitable as input to \fBedos-debcheck\fR.
-
-Packages may appear with multiple versions
-in this set. We say that a package is identified in this set by the pair
-consisting of the
-.I package name
-and of the
-.I package version\fR. 
-
-A package (called goal) is called \fIinstallable\fR with respect to a set of
-packages if there exists a subset of the packages that
- - contains at most one version for each package name
- - contains the goal package (in any version, or a specific version)
- - all packages of the subset have their dependencies and conflicts satisfied 
-in this subset.
-
-Debcheck 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.
-
-The constraint solving algorithm is complete, that is it finds a
-solution whenever there exists one, even for multiple disjunctive
-dependencies and deep package conflicts. This problem is
-computationally infeasible in theory (that is, NP-complete), but can
-in practice be solved very efficiently for Packages files occurring
-actually in Debian.
-
-.SH OPTIONS
-.TP
-.B -check
-Double-check the results
-.TP
-.B -explain
-Explain the results
-.TP
-.B -rules
-Print generated rules
-.TP
-.B -failures
-Only show failures
-.TP
-.B -successes
-Only show successes
-.TP
-.B -help, --help
-Display this list of options
-
-.SH EXAMPLE
-Check which packages in a particular distribution are not installable and why:
-
-  edos-debcheck -failures -explain < Packages
-
-where Packages is the file pertaining to that distribution, as for instance
-found in the directory \fI	/var/lib/apt/lists\fR.
-
-Check whether version 21.4.17-1 of the xemacs21 package is installable in a
-distribution described by the file Packages:
-
-  edos-debcheck -explain xemacs=21.4.17-1 < Packages
-
-
-.SH AUTHOR
-Edos-debcheck has been written by Jerome Vouillon for the EDOS project. This
-man-page has been compiled by Ralf Treinen.
-
-.SH SEE ALSO
-.BR deb-control (5)
-
-<http://www.edos-project.org> is the home page of the EDOS project.
-
-.BR edos-rpmcheck (1)
-is the analogous tool for rpm packages.
diff --git a/manpages/edos-rpmcheck.1 b/manpages/edos-rpmcheck.1
deleted file mode 100644
index d1f4071..0000000
--- a/manpages/edos-rpmcheck.1
+++ /dev/null
@@ -1,81 +0,0 @@
-.TH EDOS-RPMCHECK 1 2006-05-20 EDOS
-
-.SH NAME
-Edos-rpmcheck \- Check satisfiability of rpm package dependencies
-
-.SH SYNOPSIS
-\fBedos-rpmcheck\fR [option] ... [package] ...
-
-.SH DESCRIPTION
-.B edos-rpmcheck
-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
-.I package name
-and of the
-.I package version\fR. 
-
-A package (called goal) is called \fIinstallable\fR with respect to a set of
-packages if there exists a subset of the packages that
- - contains at most one version for each package name
- - contains the goal package (in any version, or a specific version)
- - 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.
-
-The constraint solving algorithm is complete, that is it finds a solution
-whenever there exists one, even for multiple disjunctive dependencies and deep
-package conflicts. This problem is computationally infeasible in theory (that
-is, NP-complete), but can in practice be solved very efficiently.
-
-.SH OPTIONS
-.TP
-.B -check
-Double-check the results
-.TP
-.B -explain
-Explain the results
-.TP
-.B -rules
-Print generated rules
-.TP
-.B -failures
-Only show failures
-.TP
-.B -successes
-Only show successes
-.TP
-.B -help, --help
-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
-
-
-.SH AUTHOR
-Edos-rpmcheck has been written by Jerome Vouillon fro the EDOS project. 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.

-- 
pkglab packaging