From 93a6ce5c73d259de8254f19b550324b2d5b5d005 Mon Sep 17 00:00:00 2001 From: Tatsuya Kinoshita Date: Wed, 4 May 2011 16:37:56 +0900 Subject: Releasing debian version 0.5.2-5 --- debian/patches/50_w3mman-keep-formatting.patch | 28 ++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 debian/patches/50_w3mman-keep-formatting.patch (limited to 'debian/patches/50_w3mman-keep-formatting.patch') 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; -- cgit v1.2.3