[SCM] Debian packaging for XMLTooling-C branch, master, updated. debian/1.5.2-1-3-ga1f1ffc

[Russ Allbery]

The following commit has been merged in the master branch:
commit 5de4d6e22a1e208a6048deb82f5f88f6c894ad2b
Author: Russ Allbery <rra at debian.org>
Date:   Tue May 28 19:31:28 2013 -0700

    Move single-debian-patch to local-options
    
    * Move single-debian-patch to local-options and patch-header to
      local-patch-header so that they only apply to the packages built from
      the canonical Git repository and NMUs get regular version-numbered
      patches.

diff --git a/debian/changelog b/debian/changelog
index 6ffa95a..2aaf830 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,5 +1,9 @@
 xmltooling (1.5.2-2) UNRELEASED; urgency=low
 
+  * Move single-debian-patch to local-options and patch-header to
+    local-patch-header so that they only apply to the packages built from
+    the canonical Git repository and NMUs get regular version-numbered
+    patches.
   * Fix some minor debian/copyright inaccuracies and a missing GPL-3
     pointer introduced in the previous release.
 
diff --git a/debian/source/options b/debian/source/local-options
similarity index 100%
rename from debian/source/options
rename to debian/source/local-options
diff --git a/debian/source/patch-header b/debian/source/local-patch-header
similarity index 99%
rename from debian/source/patch-header
rename to debian/source/local-patch-header
index 440363d..a1273f6 100644
--- a/debian/source/patch-header
+++ b/debian/source/local-patch-header
@@ -8,3 +8,4 @@ Debian patch.
 
 For full commit history and separated commits, see the packaging Git
 repository.
+

-- 
Debian packaging for XMLTooling-C