[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-16-g9e8e6d4
Ralf Treinen
treinen at free.fr
Tue Feb 7 12:41:11 UTC 2012
The following commit has been merged in the master branch:
commit 9e8e6d430d9315078a4a9f2407ec09f219804a7e
Author: Ralf Treinen <treinen at 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
More information about the Pkg-ocaml-maint-commits
mailing list