From d7ed9c4433b25de6a91b54f1b97c302f7ef34072 Mon Sep 17 00:00:00 2001
From: Tatsuya Kinoshita <tats@vega.ocn.ne.jp>
Date: Wed, 4 May 2011 16:37:34 +0900
Subject: Releasing debian version 0.5.2-3

---
 debian/patches/10-w3mman-keep-formatting | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 debian/patches/10-w3mman-keep-formatting

(limited to 'debian/patches/10-w3mman-keep-formatting')

diff --git a/debian/patches/10-w3mman-keep-formatting b/debian/patches/10-w3mman-keep-formatting
new file mode 100644
index 0000000..2e3c81c
--- /dev/null
+++ b/debian/patches/10-w3mman-keep-formatting
@@ -0,0 +1,28 @@
+Description: Instruct man to preserve formatting characters in its output
+ rather than filtering them through col. Works as of man-db 2.5.0, but is
+ harmless with older versions.
+Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=325699
+Ubuntu: https://bugs.launchpad.net/ubuntu/+source/w3m/+bug/353900
+
+Index: b/scripts/w3mman/w3mman2html.cgi.in
+===================================================================
+--- a/scripts/w3mman/w3mman2html.cgi.in
++++ b/scripts/w3mman/w3mman2html.cgi.in
+@@ -76,7 +76,7 @@
+   if (! ($file =~ /^\//)) {
+     $file = $query{"pwd"} . '/' . $file;
+   }
+-  open(F, "$MAN -l $file 2> /dev/null |");
++  open(F, "MAN_KEEP_FORMATTING=1 $MAN -l $file 2> /dev/null |");
+ } else {
+   $man = $query{"man"};
+   if ($man =~ s/\((\w+)\)$//) {
+@@ -92,7 +92,7 @@
+ 
+   $section =~ s:([^-\w\200-\377.,])::g;
+   $man =~ s:([^-\w\200-\377.,])::g;
+-  open(F, "$MAN $section $man 2> /dev/null |");
++  open(F, "MAN_KEEP_FORMATTING=1 $MAN $section $man 2> /dev/null |");
+ }
+ $ok = 0;
+ undef $header;
-- 
cgit v1.2.3