# HG changeset patch
# User wenzelm
# Date 1358443390 -3600
# Node ID d64bc889f7d60471542501b96fed22fbc78406a6
# Parent  5210e1b156e359603db263b97d89f5dc059ace5f
copy Cygwin-Latex-Setup.bat;

diff -r 5210e1b156e3 -r d64bc889f7d6 Admin/lib/Tools/makedist_bundles
--- a/Admin/lib/Tools/makedist_bundles	Thu Jan 17 18:19:30 2013 +0100
+++ b/Admin/lib/Tools/makedist_bundles	Thu Jan 17 18:23:10 2013 +0100
@@ -125,6 +125,7 @@
 
     cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.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"
 
     for NAME in init.bat postinstall rebaseall