equal
deleted
inserted
replaced
145 } |
145 } |
146 |
146 |
147 |
147 |
148 # platform-specific setup (inside archive) |
148 # platform-specific setup (inside archive) |
149 |
149 |
|
150 perl -pi -e "s,view.title=Isabelle/jEdit,view.title=${ISABELLE_NAME},g;" \ |
|
151 "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |
|
152 |
150 case "$PLATFORM_FAMILY" in |
153 case "$PLATFORM_FAMILY" in |
151 linux) |
154 linux) |
152 purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
155 purge_contrib '-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
153 |
156 |
154 LINUX_CLASSPATH="" |
157 LINUX_CLASSPATH="" |