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

37 lines
856 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
2000-11-24 13:44:56 +00:00
if [ -f ../doc/gpg.man ] ; then
sed `printf "s/\b.//g"` ../doc/gpg.man >gpg.man
else
2000-11-24 13:44:56 +00:00
man -Tlatin1 -l ../doc/gpg.1 | sed `printf "s/\b.//g"` >gpg.man
fi
2000-03-28 12:39:30 +00:00
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" *