--- 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