diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mk-w32-dist | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index 235abb98b..0a070a905 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -20,7 +20,11 @@ fi rm * || true ln ../g10/gpg gpg.exe i386--mingw32-strip gpg.exe -man -T latin1 -l ../doc/gpg.1 >gpg.man +if [ -t ../doc/gpg.man ] ; then + cat ../doc/gpg.man >gpg.man +else + man -T latin1 -l ../doc/gpg.1 >gpg.man +fi todos gpg.man cp ${srcdir}/README . todos README |