# HG changeset patch
# User immler@in.tum.de
# Date 1228227924 -3600
# Node ID 287f3ecdfc2ad8075520582e5e55a47311e76a48
# Parent  7878d11005106b2e0a9bba14b9629f2eaba5dd64
include Sidekick its dependency ErrorList in dist

diff -r 7878d1100510 -r 287f3ecdfc2a src/Tools/jEdit/makedist
--- a/src/Tools/jEdit/makedist	Sun Nov 30 19:32:17 2008 +0100
+++ b/src/Tools/jEdit/makedist	Tue Dec 02 15:25:24 2008 +0100
@@ -93,6 +93,8 @@
 cp jars/Isabelle-jEdit.jar "$JEDIT/jars/isabelle.jar"
 cp jars/lib/Pure.jar "$JEDIT/jars/isabelle-Pure.jar"
 cp jars/lib/core-renderer.jar "$JEDIT/jars/"
+cp jars/lib/ErrorList.jar "$JEDIT/jars/"
+cp jars/lib/SideKick.jar "$JEDIT/jars/"
 
 
 # build archive