Previous accidental commit was actually to improve the way box drawing

characters are cleaned up, to improve the readability of the option headings.

diff --git a/doc/doc-docbook/Tidytxt b/doc/doc-docbook/Tidytxt
index 49aa2e68e7060aadf07f36a02d0deb147c531e4f..33f5242e4fe16218dd5adcd2b21a70f1f1e9693e 100755 (executable)
--- a/doc/doc-docbook/Tidytxt
+++ b/doc/doc-docbook/Tidytxt
@@ -1,6 +1,6 @@
 #! /usr/bin/perl
 
-# $Cambridge: exim/doc/doc-docbook/Tidytxt,v 1.4 2008/02/04 17:03:34 fanf2 Exp $
+# $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