changeset 16187 | 6ec757011ad6 |
parent 16090 | fbb5ae140535 |
child 16356 | 94011cf701a4 |
1.1 --- a/src/HOL/IsaMakefile Thu Jun 02 18:29:46 2005 +0200 1.2 +++ b/src/HOL/IsaMakefile Thu Jun 02 18:29:47 2005 +0200 1.3 @@ -114,7 +114,7 @@ 1.4 antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \ 1.5 document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML \ 1.6 thy_syntax.ML 1.7 - @$(ISATOOL) usedir -b -g true $(HOL_PROOF_OBJECTS) $(OUT)/Pure HOL 1.8 + @$(ISATOOL) usedir $(HOL_USEDIR_OPTIONS) -b -g true $(OUT)/Pure HOL 1.9 1.10 1.11 ## HOL-Complex-HahnBanach