aboutsummaryrefslogtreecommitdiffstats
path: root/debian/patches/50_w3mman-keep-formatting.patch
diff options
context:
space:
mode:
authorTatsuya Kinoshita <tats@vega.ocn.ne.jp>2011-05-04 07:38:02 +0000
committerTatsuya Kinoshita <tats@vega.ocn.ne.jp>2011-05-04 07:38:02 +0000
commit65d67f359f5bfc09a060024e187ee5bc2bf39f14 (patch)
tree4467a26c2a505cb1171249a21722cfefe2b0c307 /debian/patches/50_w3mman-keep-formatting.patch
parentReleasing debian version 0.5.2-5 (diff)
downloadw3m-65d67f359f5bfc09a060024e187ee5bc2bf39f14.tar.gz
w3m-65d67f359f5bfc09a060024e187ee5bc2bf39f14.zip
Releasing debian version 0.5.2-6debian/0.5.2-6
Diffstat (limited to 'debian/patches/50_w3mman-keep-formatting.patch')
-rw-r--r--debian/patches/50_w3mman-keep-formatting.patch28
1 files changed, 0 insertions, 28 deletions
diff --git a/debian/patches/50_w3mman-keep-formatting.patch b/debian/patches/50_w3mman-keep-formatting.patch
deleted file mode 100644
index 2e3c81c..0000000
--- a/debian/patches/50_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;