[PATCH] bug in Util/helpfiles

[Martin Vaeth <martin@xxxxxxxx>]

Hello,

in one of the last changes to Util/helpfiles a typo happened:
It was forgotten to pass the option "-" to colcrt which was always used,
previously; without this option inappropriate output is produced
(e.g. for underscores in variable names).

--- 1/Util/helpfiles
+++ 1/Util/helpfiles
@@ -81,8 +81,8 @@
 }
 $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