Script to create a W32 package

scripts/mk-w32-dist

@@ -0,0 +1,27 @@
+#!/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
+else
+    echo "cannot figure out the source dir" >&2
+    exit 1
+fi
+
+rm * || true
+ln ../g10/gpg gpg.exe
+i386--mingw32-strip gpg.exe
+ln ../../winseed/bin/entropy.dll entropy.dll
+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" *