Lines Matching refs:TARGET_DIR
276 TARGET_DIR="src/Tools/jEdit/dist"
277 TARGET_JAR0="$TARGET_DIR/jars/Isabelle-jEdit-base.jar"
278 TARGET_JAR="$TARGET_DIR/jars/Isabelle-jEdit.jar"
279 TARGET_SHASUM="$TARGET_DIR/Isabelle-jEdit.shasum"
281 declare -a TARGET_DEPS=("lib/classes/Pure.jar" "$TARGET_DIR/jedit.jar")
284 TARGET_DEPS["${#TARGET_DEPS[@]}"]="$TARGET_DIR/jars/$DEP"
295 rm -rf "$ISABELLE_HOME/$TARGET_DIR"
303 BUILD_DIR="$TARGET_DIR/build"
342 mkdir -p "$TARGET_DIR" || failed
344 cp -p -R "$ISABELLE_JEDIT_BUILD_HOME/contrib/$ISABELLE_JEDIT_BUILD_VERSION/." "$TARGET_DIR/."
348 cp -p "$ISABELLE_JEDIT_BUILD_HOME/contrib/$DEP" "$TARGET_DIR/jars/."
357 cp src/Tools/jEdit/src/jEdit.props "$TARGET_DIR/properties/."
358 cp -p -R -f "src/Tools/jEdit/src/modes/." "$TARGET_DIR/modes/."
375 }' "$TARGET_DIR/modes/catalog"
378 cd "$TARGET_DIR"
393 cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.5.0manual-a4.pdf" "$TARGET_DIR/doc/jedit-manual.pdf"
394 cp "$TARGET_DIR/doc/CHANGES.txt" "$TARGET_DIR/doc/jedit-changes"
395 cat > "$TARGET_DIR/doc/Contents" <<EOF