From ddd965984492e74c3e5fc0fb922d4362fd3aebda Mon Sep 17 00:00:00 2001 From: Tatsuya Kinoshita Date: Wed, 4 May 2011 16:38:13 +0900 Subject: Releasing debian version 0.5.2-8 --- debian/patches/050_w3mman-keep-formatting.patch | 28 ------------------------- 1 file changed, 28 deletions(-) delete mode 100644 debian/patches/050_w3mman-keep-formatting.patch (limited to 'debian/patches/050_w3mman-keep-formatting.patch') diff --git a/debian/patches/050_w3mman-keep-formatting.patch b/debian/patches/050_w3mman-keep-formatting.patch deleted file mode 100644 index 2e3c81c..0000000 --- a/debian/patches/050_w3mman-keep-formatting.patch +++ /dev/null @@ -1,28 +0,0 @@ -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