summaryrefslogtreecommitdiff
path: root/doc/doc-docbook/Tidytxt
diff options
context:
space:
mode:
authorTony Finch <dot@dot.at>2008-02-04 17:07:26 +0000
committerTony Finch <dot@dot.at>2008-02-04 17:07:26 +0000
commit5b693a8cf973e15b096e4e1c31f1c51815a72269 (patch)
tree921ad7c8cb92b1b2440c210b4d78ca4b4c2ba3bd /doc/doc-docbook/Tidytxt
parent8473d4eebf594f883e8a198c990205fda5a25b77 (diff)
Previous accidental commit was actually to improve the way box drawing
characters are cleaned up, to improve the readability of the option headings.
Diffstat (limited to 'doc/doc-docbook/Tidytxt')
-rwxr-xr-xdoc/doc-docbook/Tidytxt2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc-docbook/Tidytxt b/doc/doc-docbook/Tidytxt
index 49aa2e68e..33f5242e4 100755
--- 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