Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
changeset 53473 28ba604926f1
parent 53472 ad284595e3a8
child 53483 74a4685a96c8 
--- a/Admin/lib/Tools/makedist_bundle	Sun Sep 08 18:10:12 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Sun Sep 08 18:37:42 2013 +0200
@@ -154,8 +154,7 @@
 
     cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe"
     cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/Isabelle.ini" "$ISABELLE_TARGET/${ISABELLE_NAME}.ini"
-    cp "$ISABELLE_HOME/Admin/Windows/WinRun4J/isabelle.bmp" \
-      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
+    cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
       "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
isabelle