src/Pure/build-jars

--- a/src/Pure/build-jars	Sat Sep 07 11:28:30 2013 +0200
+++ b/src/Pure/build-jars	Sat Sep 07 11:36:03 2013 +0200
@@ -232,6 +232,8 @@
   mkdir -p "$(dirname "$CHARSET_SERVICE")"
   echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
 
+  cp "$ISABELLE_HOME/lib/logo/isabelle.gif" isabelle/.
+
   isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \
     fail "Failed to produce $TARGET"