diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/mk-w32-dist | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index 56e724dc8..317caef6e 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -28,7 +28,7 @@ fi rm * || true ln ../g10/gpg gpg.exe -i386--mingw32-strip gpg.exe +mingw32 strip gpg.exe if [ -f ../doc/gpg.man ] ; then sed `printf "s/\b.//g"` ../doc/gpg.man >gpg.man else @@ -41,6 +41,8 @@ cp ${srcdir}/COPYING . todos COPYING ln ${srcdir}/doc/README.W32 . todos README.W32 +ln ${srcdir}/doc/FAQ . +todos FAQ for i in ${srcdir}/po/*.gmo; do ln $i "$(basename $i .gmo).mo" ; done zip "gnupg-w32-$(cat ${srcdir}/VERSION).zip" * |