[Pkg-ocaml-maint-commits] [dose3] 04/04: accept dose- as alternative name of deb-coinstall

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch experimental/master
in repository dose3.

commit 4778783c366a35a794d363e6a8e9c7716bcca860
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 6 20:01:13 2014 +0200

    accept dose- as alternative name of deb-coinstall
---
 debian/changelog                     |  4 +++-
 debian/patches/coinstall-binary-name | 15 +++++++++++++++
 debian/patches/series                |  1 +
 3 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 02f4c68..bc43abe 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,10 @@ dose3 (3.2~rc3-1) experimental; urgency=low
 
   * New upstream release candidate
   * Install dose-deb-coinstall manpage
+  * patch coinstall-binary-name: accept "dose-deb-coinstall" as alternative
+    name of the coinstall binary.
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 06 May 2014 19:37:57 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 06 May 2014 20:00:50 +0200
 
 dose3 (3.2~rc2-1) experimental; urgency=medium
 
diff --git a/debian/patches/coinstall-binary-name b/debian/patches/coinstall-binary-name
new file mode 100644
index 0000000..f8c38b4
--- /dev/null
+++ b/debian/patches/coinstall-binary-name
@@ -0,0 +1,15 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: accept "dose-deb-coinstall" as alternative name of the 
+  coinstall binary.
+
+Index: dose3/applications/deb-coinstall.ml
+===================================================================
+--- dose3.orig/applications/deb-coinstall.ml	2014-05-06 08:53:17.634759160 +0200
++++ dose3/applications/deb-coinstall.ml	2014-05-06 19:59:02.267325553 +0200
+@@ -255,5 +255,5 @@
+ ;;
+ 
+ Boilerplate.if_application
+-~alternatives:["dose-debcoinstall";"deb-coinstall"] __FILE__ main ;;
++~alternatives:["dose-deb-coinstall";"deb-coinstall"] __FILE__ main ;;
+ 
diff --git a/debian/patches/series b/debian/patches/series
index 9dceec7..2e270a6 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1 +1,2 @@
 binaries-prefix-edos
+coinstall-binary-name

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git