[Pkg-ocaml-maint-commits] [SCM] headache packaging branch, master, updated. debian/1.03-20-4-ga4ae1a8

[Ralf Treinen]

The following commit has been merged in the master branch:
commit c6258f188071e09cc89ad668dcd6963131020523
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jan 3 08:50:47 2012 +0100

    add default for .tex files

diff --git a/debian/changelog b/debian/changelog
index e85602d..c485da9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,9 @@ headache (1.03-21) UNRELEASED; urgency=low
 
   * Remove debian/README.source since it no longer applies.
   * debian/patches/*: replace dpatch headers by RFC822 header stanzas.
+  * patch config_file_types: add a default for .tex files (closes: #620376)
 
- -- Ralf Treinen <treinen at debian.org>  Wed, 28 Dec 2011 11:13:10 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 03 Jan 2012 08:49:21 +0100
 
 headache (1.03-20) unstable; urgency=low
 
diff --git a/debian/patches/config_file_types b/debian/patches/config_file_types
new file mode 100644
index 0000000..8caed1c
--- /dev/null
+++ b/debian/patches/config_file_types
@@ -0,0 +1,16 @@
+Author: Ralf Treinen <treinen at debian.org>
+Description: add a default for .tex files
+Debian-Bug: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620376
+
+Index: headache/config_builtin
+===================================================================
+--- headache.orig/config_builtin	2012-01-03 08:45:00.000000000 +0100
++++ headache/config_builtin	2012-01-03 08:46:33.000000000 +0100
+@@ -4,6 +4,7 @@
+ | ".*\\.fml[i]?" -> frame open:"(*" line:"*" close:"*)"
+ | ".*\\.mly"     -> frame open:"/*" line:"*" close:"*/"
+ | ".*\\.[ch]"    -> frame open:"/*" line:"*" close:"*/"
++| ".*\\.tex"     -> frame open:"%"  line:"%" close:"%"
+ | ".*Makefile.*" -> frame open:"#"  line:"#" close:"#"
+ | ".*README.*"   -> frame open:"*"  line:"*" close:"*"
+ | ".*LICENSE.*"  -> frame open:"*"  line:"*" close:"*"
diff --git a/debian/patches/series b/debian/patches/series
index 4e3d08a..8452414 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,5 @@
 01_detect_end_of_header
 02_skip_begin
 03_header_width
+config_file_types
+default_file_types

-- 
headache packaging