changeset 50791 | ef950fad7807 |
parent 48630 | 2f230b617541 |
child 53498 | 05313b45a5ae |
50790:0088e0805b10 | 50791:ef950fad7807 |
---|---|
16 -R \ |
16 -R \ |
17 -o None \ |
17 -o None \ |
18 -f "$COCOADIALOG_APP" \ |
18 -f "$COCOADIALOG_APP" \ |
19 "$THIS/script" \ |
19 "$THIS/script" \ |
20 "$PWD/Isabelle.app" |
20 "$PWD/Isabelle.app" |
21 |
|
22 rm -f Contents/Resources/Isabelle |
|
23 ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle |