diff options
Diffstat (limited to 'Util/helpfiles')
| -rwxr-xr-x | Util/helpfiles | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/helpfiles b/Util/helpfiles index 58aa04bba..71db7d2a4 100755 --- a/Util/helpfiles +++ b/Util/helpfiles @@ -57,7 +57,7 @@ $coltmp = $destdir . '/' . $coltmpbase; $args = "./$manfile >$mantmp"; unlink($mantmp); &Info('attempting man ', $args); -if(system('man ' . $args) || !(-s $mantmp)) { +if(system('MANPAGER=cat man ' . $args) || !(-s $mantmp)) { unlink($mantmp); &Info('attempting nroff -man ', $args); if(system('nroff -man ' . $args) || !(-s $mantmp)) { |