diff options
Diffstat (limited to 'Util')
| -rwxr-xr-x | Util/helpfiles | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Util/helpfiles b/Util/helpfiles index 900564842..cdce8880b 100755 --- a/Util/helpfiles +++ b/Util/helpfiles @@ -81,8 +81,8 @@ if(system('man ' . $args) || !(-s $mantmp)) { } $args = "$mantmp >$coltmp"; unlink($coltmp); -&Info('attempting colcrt ', $args); -if(system('colcrt ' . $args) || !(-s $coltmp)) { +&Info('attempting colcrt - ', $args); +if(system('colcrt - ' . $args) || !(-s $coltmp)) { unlink($coltmp); &Info('attempting col -bx <', $args); # The x is necessary so that spaces don't turn into tabs, which messes |