X-Git-Url: https://git.exim.org/users/heiko/exim.git/blobdiff_plain/5b693a8cf973e15b096e4e1c31f1c51815a72269..31a4354e12b3bfc2d724f3b521aaa529710f5865:/doc/doc-docbook/Tidytxt?ds=sidebyside

diff --git a/doc/doc-docbook/Tidytxt b/doc/doc-docbook/Tidytxt
index 33f5242e4..9eb63dbcb 100755
--- a/doc/doc-docbook/Tidytxt
+++ b/doc/doc-docbook/Tidytxt
@@ -1,7 +1,5 @@
 #! /usr/bin/perl
 
-# $Cambridge: exim/doc/doc-docbook/Tidytxt,v 1.5 2008/02/04 17:07:26 fanf2 Exp $
-
 # Script to tidy up the output of w3m when it makes a text file. First we
 # convert sequences of blank lines into a single blank line, to get everything
 # uniform. Then we go through and insert blank lines before chapter and
@@ -22,14 +20,16 @@ foreach $line (@lines)
   $line =~ s/\x{c2}\x{a0}/ /g;
   # (2) bullet -> asterisk
   $line =~ s/\x{e2}\x{97}\x{8f}/*/g;
+  $line =~ s/\x{e2}\x{80}\x{a2}/*/g; # OpenSUSE
+  $line =~ s/\x{e2}\x{96}\x{a1}/*/g; # OpenSUSE
   # (3a) horizontal box drawing -> hyphen
   $line =~ s/\x{e2}\x{94}[\x{80}\x{81}\x{84}\x{85}\x{88}\x{89}]/-/g;
   $line =~ s/\x{e2}\x{95}[\x{8c}\x{8d}\x{90}]/-/g;
   $line =~ s/\x{e2}\x{95}[\x{b4}\x{b6}\x{b8}\x{ba}\x{bc}\x{be}]/-/g;
   # (3b) vertical box drawing -> bar
   $line =~ s/\x{e2}\x{94}[\x{82}\x{83}\x{86}\x{87}\x{8a}\x{8b}]/|/g;
-  $line =~ s/\x{e2}\x{95}[\x{8e}\x{8f}\x{91}]/+/g;
-  $line =~ s/\x{e2}\x{95}[\x{b5}\x{b7}\x{b9}\x{bb}\x{bd}\x{bf}]/-/g;
+  $line =~ s/\x{e2}\x{95}[\x{8e}\x{8f}\x{91}]/|/g;
+  $line =~ s/\x{e2}\x{95}[\x{b5}\x{b7}\x{b9}\x{bb}\x{bd}\x{bf}]/|/g;
   # (3c) corner box drawing -> plus
   $line =~ s/\x{e2}\x{94}[\x{8c}-\x{bf}]/+/g;
   $line =~ s/\x{e2}\x{95}[\x{80}-\x{8b}\x{92}-\x{b0}]/+/g;
@@ -38,6 +38,11 @@ foreach $line (@lines)
   $line =~ s/\x{e2}\x{95}\x{b2}/\\/g;
   $line =~ s/\x{e2}\x{95}\x{b3}/X/g;
 
+  # w3m rendering issue apparently only seen by pdp
+  # affects section numbers after the ToC, some info on spool-file -lines, etc
+  # always appears to be a spurious extra character, safely just dropped.
+  $line =~ s/\x{c2}//g;
+
   if ($line =~ /^\s*$/)
     {
     $line = "" if $lastwasblank;