Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed jEdit/build-support (belongs to src distribution);
authorwenzelm
Fri, 16 Jan 2009 16:54:01 +0100
changeset 34478 095e5cae6656
parent 34475 f963335dbc6b
child 34479 c787cbe6cdce
removed jEdit/build-support (belongs to src distribution);
src/Tools/jEdit/makedist file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/makedist	Mon Jan 12 20:49:37 2009 +0100
+++ b/src/Tools/jEdit/makedist	Fri Jan 16 16:54:01 2009 +0100
@@ -84,7 +84,7 @@
 
 [ "$JEDIT_HOME/jedit.jar" ] || fail "Bad original jEdit directory: $JEDIT_HOME"
 cp -R "$JEDIT_HOME/." "$JEDIT/."
-rm -rf "$JEDIT/jEdit"
+rm -rf "$JEDIT/jEdit" "$JEDIT/build-support"
 
 mkdir -p "$JEDIT/jars"
isabelle