+revision=`git describe --always || echo '(unknown revision)'`
+if [ x"`git diff 2>/dev/null || echo x`" != x ]; then
+ revision="$revision-local"
+fi
+
+cat >src/net/chiark/yarrg/Version.java <<END
+ package net.chiark.yarrg;
+ public class Version {
+ public final static String version = "$revision";
+ }
+END
+rm -f src/build/net/chiark/yarrg/Version.class
+rm -f src/build/net/chiark/yarrg/ControlPanel.class
+rm -f src/build/net/chiark/yarrg/MarketUploader.class
+rm -f *.jar
+
+cd src
+ant -f Jarrg.xml
+cd ..