The following commit has been merged in the master branch: commit 9e8e6d430d9315078a4a9f2407ec09f219804a7e Author: Ralf Treinen <trei...@free.fr> Date: Tue Feb 7 13:29:39 2012 +0100
rename package edos-extra-tools to edos-extra diff --git a/debian/changelog b/debian/changelog index 8b1bd51..44159cd 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,9 +1,9 @@ dose3 (2.9.10-1) UNRELEASED; urgency=low * New upstream release - * The ceve package has disapperaed, we have instaed now a new package - edos-extra-tools that will contain all tools that do not deserve - their own package (for the moment: ceve, outdated, challenged). + * The ceve package has disapperaed, we have instead now a new package + edos-extra that contains all tools that do not deserve their own + package (for the moment: ceve, outdated, challenged). * debian/rules: configuration option --with-rpm has become --with-rpm4 * debian/control: - The apt-cudf package now depends first on aspcud before the virtual diff --git a/debian/control b/debian/control index 2d299b1..a4d0d32 100644 --- a/debian/control +++ b/debian/control @@ -84,7 +84,7 @@ Description: Checks whether build-dependencies can be satisfied edos-distcheck. Until then, the name of the package or of the binary, as well as command line options and output format, are subject to change. -Package: edos-extra-tools +Package: edos-extra Section: devel Architecture: any Provides: ceve diff --git a/debian/edos-extra-tools.NEWS b/debian/edos-extra.NEWS similarity index 100% rename from debian/edos-extra-tools.NEWS rename to debian/edos-extra.NEWS diff --git a/debian/edos-extra-tools.install b/debian/edos-extra.install similarity index 100% rename from debian/edos-extra-tools.install rename to debian/edos-extra.install diff --git a/debian/edos-extra-tools.manpages b/debian/edos-extra.manpages similarity index 100% rename from debian/edos-extra-tools.manpages rename to debian/edos-extra.manpages diff --git a/debian/rules b/debian/rules index 62761db..39330ab 100755 --- a/debian/rules +++ b/debian/rules @@ -22,7 +22,7 @@ override_dh_installman: dh_installman cd debian/dose3-distcheck/usr/share/man/man1 \ && mv distcheck.1 dose3-distcheck.1 - cd debian/edos-extra-tools/usr/share/man/man1 \ + cd debian/edos-extra/usr/share/man/man1 \ && mv outdated.1 edos-outdated.1 \ && mv challenged.1 edos-challenged.1 -- dose3 packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits