diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2020-11-17 08:46:06 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2020-11-17 08:46:06 (GMT) |
| commit | 95fad70001983ba20f751c28123cc689e801c558 (patch) | |
| tree | 0f016977ded771c6be5d1ad2cefce3f797d7110a /tools | |
| parent | b9fdbb07108701e8f4430202a4588f6f75b96e56 (diff) | |
| parent | ffda48d07b9324f64f02a34c0bdced10994cf6d2 (diff) | |
| download | tcl-95fad70001983ba20f751c28123cc689e801c558.zip tcl-95fad70001983ba20f751c28123cc689e801c558.tar.gz tcl-95fad70001983ba20f751c28123cc689e801c558.tar.bz2 | |
Merge 8.6
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tcltk-man2html-utils.tcl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tcltk-man2html-utils.tcl b/tools/tcltk-man2html-utils.tcl index 0aa1d5c..1f49d8c 100644 --- a/tools/tcltk-man2html-utils.tcl +++ b/tools/tcltk-man2html-utils.tcl @@ -189,6 +189,7 @@ proc process-text {text} { {\(fm} "′" \ {\(mi} "−" \ {\(->} "<font size=\"+1\">→</font>" \ + {\(eu} "€" \ {\fP} {\fR} \ {\.} . \ ] |