Add a simple distribution script.

diff --git a/dist.sh b/dist.sh
new file mode 100755 (executable)
index 0000000..c8b201e
--- /dev/null
+++ b/dist.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+if [ $# -ne 1 ] ; then
+       echo "Usage: dist.sh <filename>"
+       exit 1
+fi
+
+FNAME=shift
+PREFIX=`basename $FNAME | sed -e 's/\.tar.*$//'`
+
+OUT=""
+while true ; do
+       OUT="/tmp/files-`strings -7 /dev/urandom | head -1 | sed -e 's/[^[:alnum:]]//g'`"
+       if [ ! -f "$OUT" ] ; then break ; fi
+done
+
+git ls-files > $OUT
+SUBMODULES=`git submodule | cut -d ' ' -f 3`
+
+for sub in $SUBMODULES ; do
+       (cd $sub && git ls-files | sed -e "s|^|$sub/|" >> $OUT)
+done
+
+tar -c --no-recursion --transform "s|^|$PREFIX/|" -a -T $OUT -v -f $FNAME
+rm -f $OUT