diff options
author | Tatsuya Kinoshita <tats@vega.ocn.ne.jp> | 2011-05-04 07:37:56 +0000 |
---|---|---|
committer | Tatsuya Kinoshita <tats@vega.ocn.ne.jp> | 2011-05-04 07:37:56 +0000 |
commit | 93a6ce5c73d259de8254f19b550324b2d5b5d005 (patch) | |
tree | e79af60d9addb5caca5eaf9063438655512b51d9 /debian/patches/50_w3mman-keep-formatting.patch | |
parent | Releasing debian version 0.5.2-4 (diff) | |
download | w3m-93a6ce5c73d259de8254f19b550324b2d5b5d005.tar.gz w3m-93a6ce5c73d259de8254f19b550324b2d5b5d005.zip |
Releasing debian version 0.5.2-5debian/0.5.2-5
Diffstat (limited to 'debian/patches/50_w3mman-keep-formatting.patch')
-rw-r--r-- | debian/patches/50_w3mman-keep-formatting.patch | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/debian/patches/50_w3mman-keep-formatting.patch b/debian/patches/50_w3mman-keep-formatting.patch new file mode 100644 index 0000000..2e3c81c --- /dev/null +++ b/debian/patches/50_w3mman-keep-formatting.patch @@ -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; |