diff -r 1d83850b548a -r 149b604c319b build.sh
--- a/build.sh	Sun Aug 11 13:24:53 2013 +0200
+++ b/build.sh	Sun Aug 11 13:42:41 2013 +0200
@@ -30,7 +30,7 @@
     rm -rf $DELIVERY_DIR/$WORK_DIR
     java -jar $JAR $1
     pushd $DELIVERY_DIR
-    (echo -n "Mercurial: "; hg identify || echo "n/a"; echo -n "Generated: "; date --rfc-3339=seconds) > $WORK_DIR/version.txt
+    (echo -n "Mercurial: "; hg identify || echo "n/a"; echo -n "XML SHA-1: "; (sha1sum "../data/dictionary.xml" | cut -d" " -f1); echo -n "Generated: "; date --rfc-3339=seconds) > $WORK_DIR/version.txt
     tar czf $2.tar.gz $WORK_DIR
     popd
 }