1
0
mirror of git://git.gnupg.org/gnupg.git synced 2024-12-23 10:29:58 +01:00
gnupg/scripts/mk-w32-dist

31 lines
736 B
Plaintext
Raw Normal View History

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