# HG changeset patch
# User wenzelm
# Date 1184065973 -7200
# Node ID 431782022495d22b630a7a0d320e62e3bfa4fa88
# Parent  d92637b15a45ed8860410cad1e46f5d11a18fdc3
cd ISABELLE_HOME/etc;

diff -r d92637b15a45 -r 431782022495 Admin/update-keywords
--- a/Admin/update-keywords	Tue Jul 10 09:24:43 2007 +0200
+++ b/Admin/update-keywords	Tue Jul 10 13:12:53 2007 +0200
@@ -5,6 +5,8 @@
 #
 # DESCRIPTION: Update standard keyword files.
 
+cd "$(isatool getenv -b ISABELLE_HOME)"/etc
+
 isabelle -qe 'ProofGeneral.write_keywords "";' IOA
 isabelle -qe 'ProofGeneral.write_keywords "HOL-Nominal";' HOL-Nominal
 isabelle -qe 'ProofGeneral.write_keywords "ZF";' ZF