# HG changeset patch
# User sultana
# Date 1316819852 -3600
# Node ID 09cdc4209d25f455d384545a8f2dedce20ce3373
# Parent  981098cdbb3f75dd816d9834f927267b32d80bc1
fixed IsaMakefile action for HOL-TPTP.

diff -r 981098cdbb3f -r 09cdc4209d25 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Sep 23 23:46:13 2011 +0200
+++ b/src/HOL/IsaMakefile	Sat Sep 24 00:17:32 2011 +0100
@@ -1161,7 +1161,7 @@
   TPTP/ATP_Export.thy \
   TPTP/CASC_Setup.thy \
   TPTP/atp_export.ML
-	@$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP
+	@cd TPTP; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL TPTP
 
 
 ## HOL-Multivariate_Analysis