changeset 45070 | 09cdc4209d25 |
parent 45047 | 3aa8d3c391a4 |
child 45074 | 04286b0fc856 |
--- 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