+src=$d.tar.bz2
+
+# Report and execute a command remotely
+remote() {
+ local h=$1
+ shift
+ echo "$h:" "$@"
+ ssh $h "$@"
+}
+
+# Build .debs and copy to the right place
+build() {
+ local h=$1 # build host
+ local f=$2
+
+ remote $h "mkdir -p _builds"
+ remote $h "rm -rf _builds/*.deb _builds/$d"
+ scp $src $h:_builds
+ remote $h "cd _builds && tar xfj $src"
+ remote $h "cd _builds/$d && fakeroot debian/rules binary"
+ mkdir -p $web/$f
+ scp $h:_builds/*.deb $web/$f/.
+}
+
+# Build various debs
+
+# Ubuntu dapper; binaries suit Debian etch too
+build dekabrach etch
+
+# Debian lenny (32-bit)
+build leucomorph lenny
+
+# Debian lenny (64-bit)
+build araminta lenny
+
+# Update the web
+cp $src $web