| changeset 17308 | 5d9bbc0d9bd3 |
| parent 17304 | c33c9e9df4f8 |
| child 17323 | 2fc68de9de1f |
--- a/src/HOL/IsaMakefile Wed Sep 07 18:22:29 2005 +0200 +++ b/src/HOL/IsaMakefile Wed Sep 07 20:22:15 2005 +0200 @@ -663,8 +663,7 @@ TLA-Inc: TLA $(LOG)/TLA-Inc.gz -$(LOG)/TLA-Inc.gz: $(OUT)/TLA TLA/Inc/Inc.thy TLA/Inc/Inc.ML \ - TLA/Inc/Pcount.thy +$(LOG)/TLA-Inc.gz: $(OUT)/TLA TLA/Inc/Inc.thy TLA/Inc/Inc.ML @cd TLA; $(ISATOOL) usedir $(OUT)/TLA Inc