1.1 --- a/Admin/lib/Tools/makedist_bundles	Thu Jan 17 18:19:30 2013 +0100
     1.2 +++ b/Admin/lib/Tools/makedist_bundles	Thu Jan 17 18:23:10 2013 +0100
     1.3 @@ -125,6 +125,7 @@
     1.4  
     1.5      cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.exe"
     1.6      cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
     1.7 +      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat" \
     1.8        "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
     1.9  
    1.10      for NAME in init.bat postinstall rebaseall