[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. upstream/0.7-60-gcd9a20f

[Ralf Treinen]

The following commit has been merged in the master branch:
commit cd9a20f1661fd3ce0cda7ad7b5fc93408f1f17de
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Nov 16 08:37:22 2010 +0100

    change package names from edos- to dose3-

diff --git a/debian/TODO b/debian/TODO
new file mode 100644
index 0000000..a5572a7
--- /dev/null
+++ b/debian/TODO
@@ -0,0 +1,5 @@
+Change packags to dose3 [done 16/11, RT]
+change symlinks to dose3 [done 16/11, RT]
+integrate Pietro's reply into manpages
+look at copyright
+manpages: macros for appli names
diff --git a/debian/control b/debian/control
index 1dd6c78..a83ba72 100644
--- a/debian/control
+++ b/debian/control
@@ -36,7 +36,7 @@ Description: OCaml libraries for package dependencies (development files)
  This package contains the development stuff you need to use dose3 in
  the development of your programs.
 
-Package: edos-distcheck
+Package: dose3-distcheck
 Architecture: any
 Depends: ${ocaml:Depends}, ${misc:Depends}, ${shlibs:Depends}
 Description: Checks whether dependencies of packages can be satisfied
@@ -49,7 +49,7 @@ Description: Checks whether dependencies of packages 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-builddebcheck
+Package: dose3-builddebcheck
 Architecture: any
 Depends: ${ocaml:Depends}, ${misc:Depends}, ${shlibs:Depends}
 Description: Checks whether build-dependencies can be satisfied
diff --git a/debian/edos-builddebcheck.install b/debian/dose3-builddebcheck.install
similarity index 100%
rename from debian/edos-builddebcheck.install
rename to debian/dose3-builddebcheck.install
diff --git a/debian/edos-distcheck.install b/debian/dose3-distcheck.install
similarity index 100%
rename from debian/edos-distcheck.install
rename to debian/dose3-distcheck.install
diff --git a/debian/dose3-distcheck.links b/debian/dose3-distcheck.links
new file mode 100644
index 0000000..d8ef3e8
--- /dev/null
+++ b/debian/dose3-distcheck.links
@@ -0,0 +1,3 @@
+bin/distcheck bin/dose3-debcheck
+bin/distcheck bin/dose3-rpmcheck
+bin/distcheck bin/dose3-eclipsecheck
diff --git a/debian/edos-distcheck.links b/debian/edos-distcheck.links
deleted file mode 100644
index 81d9697..0000000
--- a/debian/edos-distcheck.links
+++ /dev/null
@@ -1,3 +0,0 @@
-bin/distcheck bin/edos-debcheck
-bin/distcheck bin/edos-rpmcheck
-bin/distcheck bin/edos-eclipsecheck
diff --git a/debian/patches/binaries-prefix-edos b/debian/patches/binaries-prefix-edos
index c52beaa..7a18f9a 100644
--- a/debian/patches/binaries-prefix-edos
+++ b/debian/patches/binaries-prefix-edos
@@ -1,6 +1,6 @@
 Author: Ralf Treinen <treinen at debian.org>
 Description: In debian, the symlinks to distcheck for specific distribution
-  formats are named edos-*.
+  formats are named dose3-*.
 
 
 --- dose3.orig/applications/distcheck.ml	2010-11-12 14:49:38.000000000 +0100
@@ -13,10 +13,10 @@ Description: In debian, the symlinks to distcheck for specific distribution
 -    |"debcheck",l -> List.map ((^) "deb://") l
 -    |"eclipsecheck",l -> List.map ((^) "eclipse://") l
 -    |"rpmcheck",l -> List.map ((^) "synthesis://") l
-+    |"edos-debcheck",[] -> ["deb://-"]
-+    |"edos-debcheck",l -> List.map ((^) "deb://") l
-+    |"edos-eclipsecheck",l -> List.map ((^) "eclipse://") l
-+    |"edos-rpmcheck",l -> List.map ((^) "synthesis://") l
++    |"dose3-debcheck",[] -> ["deb://-"]
++    |"dose3-debcheck",l -> List.map ((^) "deb://") l
++    |"dose3-eclipsecheck",l -> List.map ((^) "eclipse://") l
++    |"dose3-rpmcheck",l -> List.map ((^) "synthesis://") l
      |_,_ -> args
    in
    Boilerplate.enable_debug (OptParse.Opt.get Options.verbose);

-- 
dose3 packaging