changeset 68080 | 17f79ae49401 |
parent 67994 | 11be98cefe92 |
child 68375 | 5714e8806060 |
--- a/Admin/lib/Tools/makedist_bundle Fri May 04 15:59:21 2018 +0200 +++ b/Admin/lib/Tools/makedist_bundle Fri May 04 16:22:09 2018 +0200 @@ -185,9 +185,6 @@ # platform-specific setup (inside archive) -perl -pi -e "s,view.title=Isabelle/jEdit,view.title=${ISABELLE_NAME},g;" \ - "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" - case "$PLATFORM_FAMILY" in linux) purge_target 'contrib -name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'