[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-25-g5bece51

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 5bece519ef25d32b5d61f43ab1d5ec3c4f9cad56
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Thu May 28 16:15:34 2009 +0200

    Move git-dom scripts to tools/ directory

diff --git a/debian/changelog b/debian/changelog
index 5519a13..5a887e2 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,6 +11,8 @@ dh-ocaml (0.4.2) UNRELEASED; urgency=low
   * Move ocaml-pkg-update-uploaders to /usr/share/ocaml/pkg-update-uploaders
   * Install script tools dom-{new-git-repo,git-checkout,mrconfig} in
     /usr/bin (Closes: #516777)
+  * Install dom-{apply,save}-patches in /usr/bin/ and update policy to
+    explain briefly how to use them.
 
   [ Ralf Treinen ]
   * Add a section on setting the archive section of ocaml programs.
diff --git a/policy/appendix-git.xml b/policy/appendix-git.xml
index eac2f57..b1c699f 100644
--- a/policy/appendix-git.xml
+++ b/policy/appendix-git.xml
@@ -300,13 +300,6 @@
 	locally and should never be pushed.
       </para>
 
-      <para>
-	TODO: Install the two tools somewhere. Remove this paragraph
-	when it's done.	The best location could be: /usr/lib/git-core.
-	It's is the easiest way to make Git "dom-aware". The "dom"
-	prefix is used to avoid name clashes with upstream commands.
-      </para>
-
     </section>
 </section>
 
diff --git a/git-tools/git-dom-apply-patches b/tools/dom-apply-patches
similarity index 100%
rename from git-tools/git-dom-apply-patches
rename to tools/dom-apply-patches
diff --git a/git-tools/git-dom-save-patches b/tools/dom-save-patches
similarity index 100%
rename from git-tools/git-dom-save-patches
rename to tools/dom-save-patches

-- 
dh-ocaml packaging