if [ x"`git diff 2>/dev/null || echo x`" != x ]; then
revision="$revision-local"
fi
+revision=${revision#jarrg-}
cat >src/net/chiark/yarrg/Version.java <<END
package net.chiark.yarrg;
"
ls -al $files
-pubbase="${JARRG_PUBLISH_BASE-login.chiark.greenend.org.uk}"
+pubbase="${JARRG_PUBLISH_BASE-ijackson@login.chiark.greenend.org.uk}"
pubdir="${JARRG_PUBLISH_DIR-/home/yarrgweb/public-html/download/jarrg}"
echo "
To actually publish a release, on $pubbase:
mkdir $revision
- ln tests/* $revision/.
- ln -f tests/* .
+ ln test/* $revision/.
+ ln -f test/* .
"