src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Jun 23 14:52:32 2011 +0200
+++ b/src/Pure/build-jars	Thu Jun 23 16:10:22 2011 +0200
@@ -180,6 +180,9 @@
   jar ufe "$(jvmpath "$FULL_JAR")" isabelle.GUI_Setup isabelle scala || \
     fail "Failed to produce $FULL_JAR"
 
+  mkdir -p "$TARGET_DIR/ext"
+  cp "$FULL_JAR" "$TARGET_DIR/ext/"
+
   popd >/dev/null
 
   rm -rf classes