diff -r 7edf47be2baf -r 8d5f2e3e836d Admin/lib/Tools/makedist_bundle --- a/Admin/lib/Tools/makedist_bundle Thu Jan 07 16:29:41 2016 +0100 +++ b/Admin/lib/Tools/makedist_bundle Thu Jan 07 16:50:52 2016 +0100 @@ -325,6 +325,7 @@ find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \ > "contrib/cygwin/isabelle/symlinks" + find . -type l -exec rm "{}" ";" touch "contrib/cygwin/isabelle/uninitialized" )