mirror of
git://git.gnupg.org/gnupg.git
synced 2024-07-01 02:42:44 +02:00
35 lines
808 B
Bash
Executable File
35 lines
808 B
Bash
Executable File
#!/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" *
|