--- /dev/null
+#!/bin/sh
+# in-docker.sh
+# Build Debian package in Docker. Use steps like this:
+# make dist
+# ../git-tools/id-deb-build/id-mk-deb-src.sh
+
+# docker run -it --rm -v "$PWD:/build" -w /build/product-version debian:jessie ./in-docker.sh
+#
+
+set -x
+OS=$1
+DIST=$2
+DEBIAN_FRONTEND=noninteractive
+export DEBIAN_FRONTEND
+
+apt-get update && apt-get install -y wget devscripts equivs
+wget -q -O - http://ftp.indexdata.dk/debian/indexdata.asc|apt-key add -
+echo "deb http://ftp.indexdata.dk/${OS} ${DIST} main" >/etc/apt/sources.list.d/indexdata.list
+apt-get update
+
+mk-build-deps
+dpkg -i *-build-deps_*_all.deb || apt-get install -f -y
+rm *-build-deps_*_all.deb
+dpkg-buildpackage -rfakeroot
+RET=$?
+
+exit $RET
+
+# Local Variables:
+# mode:shell-script
+# sh-indentation: 4
+# sh-basic-offset: 4
+# End:
+