# HG changeset patch
# User wenzelm
# Date 1294773034 -3600
# Node ID 0ffd5ea44078ebe9843e895c0069ec08790d20e1
# Parent  8445396e1e397842457b1021850d7d85a8b5851e
record versions of both jEdit and Isabelle;

diff -r 8445396e1e39 -r 0ffd5ea44078 src/Tools/jEdit/makedist
--- a/src/Tools/jEdit/makedist	Tue Jan 11 20:01:57 2011 +0100
+++ b/src/Tools/jEdit/makedist	Tue Jan 11 20:10:34 2011 +0100
@@ -66,8 +66,9 @@
 # target name
 
 [ -z "$JEDIT_HOME" ] && fail "Unknown JEDIT_HOME"
+[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
 
-VERSION=$(basename "$JEDIT_HOME")
+VERSION="$(basename "$JEDIT_HOME")_Isabelle-$("$ISABELLE_TOOL" version -i)"
 JEDIT="jedit-${VERSION}"
 
 rm -rf "$JEDIT" jedit