author | wenzelm |
Fri, 20 Mar 2009 21:05:26 +0100 | |
changeset 34522 | 92f50a3b4a6a |
parent 34521 | 7407bc6cf28d |
child 34523 | 909b2610da52 |
1.1 --- a/src/Tools/jEdit/makedist Mon Feb 02 23:08:44 2009 +0100 1.2 +++ b/src/Tools/jEdit/makedist Fri Mar 20 21:05:26 2009 +0100 1.3 @@ -80,7 +80,8 @@ 1.4 cp -R "$JEDIT_HOME/." "$JEDIT/." 1.5 rm -rf "$JEDIT/jEdit" "$JEDIT/build-support" 1.6 1.7 -cp -R jars "$JEDIT/jars" 1.8 +mkdir -p "$JEDIT/jars" 1.9 +cp -R jars/. "$JEDIT/jars/." 1.10 1.11 cp -R "$THIS/dist-template/." "$JEDIT/." 1.12