#!/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 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 ln ${srcdir}/doc/README.W32 . todos README.W32 for i in ${srcdir}/po/*.gmo; do ln $i "$(basename $i .gmo).mo" ; done zip "gnupg-w32-$(cat ${srcdir}/VERSION).zip" *