Releasing debian version 0.5.2-5debian/0.5.2-5

1 files changed, 0 insertions, 28 deletions

diff --git a/debian/patches/10-w3mman-keep-formatting b/debian/patches/10-w3mman-keep-formatting
deleted file mode 100644
index 2e3c81c..0000000
--- a/debian/patches/10-w3mman-keep-formatting
+++ /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;