--- /dev/null
+#!/bin/sh
+DEBCHANGELOG=debian/changelog
+if test ! -f $DEBCHANGELOG; then
+ echo "$DEBCHANGELOG missing"
+ echo "The current directory should be base source of package"
+ exit 1
+fi
+l=`head -1 $DEBCHANGELOG`
+PROD=`echo $l|sed 's/ .*//g'`
+VERSION=`echo $l|sed 's/.*(//g'|sed 's/).*//g'`
+echo "VERSION=$VERSION"
+MAJOR=`echo $VERSION|sed 's/-.*//g'`
+echo "MAJOR=$MAJOR"
+MINOR=`echo $VERSION|sed 's/.*-//g'`
+echo "MINOR=$MINOR"
+TAR=${PROD}-${MAJOR}.tar.gz
+if test ! -f ${TAR}; then
+ echo "$0: ${TAR} missing"
+ exit 1
+fi
+set -e
+if test -f Doxyfile; then
+ doxygen >out 2>stderr
+fi
+(cd doc && make ${PRODUCT}.pdf index.html)
+cp NEWS doc/
+cp ${TAR} ftp.indexdata.dk:/home/ftp/pub/${PROD}/
+tar cz --exclude=.git -f - dox doc|ssh website "cd software/${PROD}; tar xzf -"
+# Local Variables:
+# mode:shell-script
+# sh-indentation: 2
+# sh-basic-offset: 8
+# End: