Index: locker/update-system/bin/build-update
===================================================================
--- locker/update-system/bin/build-update	(revision 693)
+++ locker/update-system/bin/build-update	(revision 694)
@@ -99,4 +99,9 @@
 copy(catfile($proposaldir, "update.diff"), catfile($outdir, "update.diff")) or die "Couldn't copy update.diff: $!";
 
+if (-d catfile($proposaldir, "extra")) {
+  system('/bin/cp', '-pr', catfile($proposaldir, "extra"), catfile($outdir, "extra"))
+    and die "Couldn't copy extra: $!";
+}
+
 open (SCRIPT, ">", catfile($outdir, "update")) or die "Couldn't write update: $!";
 printf SCRIPT <<'EOF', catfile("/mit/scripts/deploy/", $old), catfile("/mit/scripts/deploy/", $new);
@@ -136,4 +141,5 @@
 xargs rm -f <"$patchdir/files.delete"
 tar -xzf "$patchdir/newfiles.tar.gz"
+[ -e "$patchdir/extra/postpatch.sh" ] && . "$patchdir/extra/postpatch.sh"
 (
     cat .scripts-version.old