+echo "id-mk-dist.sh is deprecated -- use mkdist.sh instead"
+exit 1
+
#!/bin/sh
if test ! -f debian/changelog; then
echo "debian/changelog not found"
fi
PRODUCT=`head -1 debian/changelog |awk '{print $1}'`
if test ! -f IDMETA; then
- echo "VERSION not found in current directory"
+ echo "IDMETA not found in current directory"
exit 1
fi
. ./IDMETA