diff options
author | Tatsuya Kinoshita <tats@vega.ocn.ne.jp> | 2011-05-04 07:38:13 +0000 |
---|---|---|
committer | Tatsuya Kinoshita <tats@vega.ocn.ne.jp> | 2011-05-04 07:38:13 +0000 |
commit | ddd965984492e74c3e5fc0fb922d4362fd3aebda (patch) | |
tree | 1f554ce14b66a9b4c344d62948a473fb1d367262 /debian/patches/050_w3mman-keep-formatting.patch | |
parent | Releasing debian version 0.5.2-7 (diff) | |
download | w3m-ddd965984492e74c3e5fc0fb922d4362fd3aebda.tar.gz w3m-ddd965984492e74c3e5fc0fb922d4362fd3aebda.zip |
Releasing debian version 0.5.2-8debian/0.5.2-8
Diffstat (limited to '')
-rw-r--r-- | debian/patches/050_w3mman-keep-formatting.patch | 28 |
1 files changed, 0 insertions, 28 deletions
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; |