diff options
Diffstat (limited to 'scripts/mk-w32-dist')
| -rwxr-xr-x | scripts/mk-w32-dist | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist new file mode 100755 index 000000000..4761d0dfb --- /dev/null +++ b/scripts/mk-w32-dist @@ -0,0 +1,28 @@ +#!/bin/sh +# Hmm, we need the not real free zip utility - this should be +# avoided. The easiest way will be to use an installer program. + +set -e + +cd dist-w32 + +if [ -f ../README ]; then + srcdir=.. +elif [ -f ../../gnupg-stable/README ]; then + srcdir=../../gnupg-stable +elif [ -f ../../../gnupg-stable/README ]; then + srcdir=../../../gnupg-stable +else + echo "cannot figure out the source dir" >&2 + exit 1 +fi + +rm * || true +ln ../g10/gpg gpg.exe +i386--mingw32-strip gpg.exe +man -T latin1 -l ../doc/gpg.1 >gpg.man +todos gpg.man +ln ${srcdir}/README . +ln ${srcdir}/doc/README.W32 . +for i in ${srcdir}/po/*.gmo; do ln $i "$(basename $i .gmo).mo" ; done +zip "gnupg-w32-$(cat ${srcdir}/VERSION).zip" * |