# This script creates the Debian package. The way it does it is
# probably not very conventional. I am open to suggestions.
+set -e
+
VERSION=1.0-R$(cat REVISION_NUMBER)
PACKAGE=/tmp/selector_${VERSION}_i386.deb
make -j -k || exit 1
+strip selector
+
TMP=`mktemp -d /tmp/deb.XXXXXX`
for d in DEBIAN ${BIN_PATH} ${MAN_PATH}; do