--- a/src/Pure/Admin/build_release.scala Sun Oct 21 18:32:33 2018 +0200
+++ b/src/Pure/Admin/build_release.scala Sun Oct 21 19:34:11 2018 +0200
@@ -227,10 +227,7 @@
make_contrib(release.isabelle_dir)
- execute(release.isabelle_dir,
- """find . "(" -name "*.thy" -o -name "*.ML" -o -name "*.scala" ")" -print | xargs chmod -f -x""")
- execute(release.isabelle_dir,
- """find . -print | xargs chmod -f u+rw""")
+ execute(release.isabelle_dir, """find . -print | xargs chmod -f u+rw""")
/* build tools and documentation */