# HG changeset patch
# User wenzelm
# Date 1317062358 -7200
# Node ID 3417c1b91e3c78f51d04327e063739d09b1def0a
# Parent  3933a0cbd049e2774b7930fb88ab94b6040bba99
reverted 09cdc4209d25 for formal reasons: it did not say what was "broken" nor "fixed", but broke IsaMakefile dependencies;

diff -r 3933a0cbd049 -r 3417c1b91e3c src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Sep 26 20:31:41 2011 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 26 20:39:18 2011 +0200
@@ -1162,7 +1162,7 @@
   TPTP/ATP_Export.thy \
   TPTP/CASC_Setup.thy \
   TPTP/atp_export.ML
-	@cd TPTP; $(ISABELLE_TOOL) usedir -b $(OUT)/HOL TPTP
+	@$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP
 
 
 ## HOL-Multivariate_Analysis