From dfbf9f739b09997401dd1fc882f5a27f964bc7f2 Mon Sep 17 00:00:00 2001
From: dkf <donal.k.fellows@manchester.ac.uk>
Date: Wed, 7 Jul 2004 12:08:43 +0000
Subject: Oops, forgot a bit

---
 tools/man2help2.tcl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tools/man2help2.tcl b/tools/man2help2.tcl
index 36fa060..62b5b2e 100644
--- a/tools/man2help2.tcl
+++ b/tools/man2help2.tcl
@@ -9,7 +9,7 @@
 # See the file "license.terms" for information on usage and redistribution
 # of this file, and for a DISCLAIMER OF ALL WARRANTIES.
 # 
-# RCS: @(#) $Id: man2help2.tcl,v 1.14 2004/07/07 10:55:22 dkf Exp $
+# RCS: @(#) $Id: man2help2.tcl,v 1.15 2004/07/07 12:08:43 dkf Exp $
 # 
 
 # Global variables used by these scripts:
@@ -160,6 +160,7 @@ proc text {string} {
 	    "\t"	{\tab } \
 	    ''		"\\rdblquote " \
 	    ``		"\\ldblquote " \
+	    "\u00b7"	"\\bullet " \
 	    ] $string]
 
     # Check if this is the beginning of an international character string.
@@ -688,7 +689,7 @@ proc char {name} {
 	}
 	\\(bu {
 	    textSetup
-	    puts -nonewline $file "\u00b7"
+	    puts -nonewline $file "\\bullet "
 	}
 	default {
 	    puts stderr "Unknown character: $name"
-- 
cgit v0.12