diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/man2help2.tcl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/man2help2.tcl b/tools/man2help2.tcl index 20e86af..5442a6f 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.19 2008/10/02 19:01:30 mistachkin Exp $ +# RCS: @(#) $Id: man2help2.tcl,v 1.20 2008/12/22 13:04:32 mistachkin Exp $ # # Global variables used by these scripts: @@ -712,6 +712,10 @@ proc char {name} { textSetup puts -nonewline $file "\\'a9 " } + {\(mi} { + textSetup + puts -nonewline $file "-" + } {\(mu} { textSetup puts -nonewline $file "\\'d7 " |