changeset 57084 | 70e288a4b32d |
parent 56620 | 5de64a07b0e3 |
child 57443 | 577f029fde39 |
--- a/Admin/lib/Tools/makedist_bundle Sat May 24 20:07:26 2014 +0200 +++ b/Admin/lib/Tools/makedist_bundle Sat May 24 20:24:43 2014 +0200 @@ -213,7 +213,6 @@ cp "$TMP/windows_app/Isabelle.exe" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe" 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" (