diff options
Diffstat (limited to 'Util')
| -rwxr-xr-x | Util/helpfiles | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/helpfiles b/Util/helpfiles index 9e837fe2d..58aa04bba 100755 --- a/Util/helpfiles +++ b/Util/helpfiles @@ -54,7 +54,7 @@ $ENV{'GROFF_NO_SGR'} = ''; # We need "classical" formatting of man pages. $mantmp = $destdir . '/man.tmp'; $coltmpbase = 'col.tmp'; $coltmp = $destdir . '/' . $coltmpbase; -$args = "$manfile >$mantmp"; +$args = "./$manfile >$mantmp"; unlink($mantmp); &Info('attempting man ', $args); if(system('man ' . $args) || !(-s $mantmp)) { |