diff -r f4bb3068d819 -r 22b87ab47d3b lib/Tools/keywords
--- a/lib/Tools/keywords	Thu Oct 30 23:14:11 2014 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,60 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# DESCRIPTION: generate keyword files for Emacs Proof General
-
-
-## diagnostics
-
-PRG="$(basename "$0")"
-
-function usage()
-{
-  echo
-  echo "Usage: isabelle $PRG [OPTIONS] [SESSIONS ...]"
-  echo
-  echo "  Options are:"
-  echo "    -d DIR       include session directory"
-  echo "    -k NAME      specific name of keywords collection (default: empty)"
-  echo
-  echo "  Generate keyword files for Emacs Proof General from Isabelle sessions."
-  echo
-  exit 1
-}
-
-
-## process command line
-
-# options
-
-declare -a DIRS=()
-KEYWORDS_NAME=""
-
-while getopts "d:k:" OPT
-do
-  case "$OPT" in
-    d)
-      DIRS["${#DIRS[@]}"]="$OPTARG"
-      ;;
-    k)
-      KEYWORDS_NAME="$OPTARG"
-      ;;
-    \?)
-      usage
-      ;;
-  esac
-done
-
-shift $(($OPTIND - 1))
-
-
-## main
-
-isabelle_admin_build jars || exit $?
-
-declare -a JAVA_ARGS; eval "JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"
-
-"$ISABELLE_TOOL" java "${JAVA_ARGS[@]}" isabelle.Keywords keywords \
-  "$KEYWORDS_NAME" "${DIRS[@]}" $'\n' "$@"
-