changeset 10122 | 194c7349b6c0 |
parent 10002 | aaaca09b18de |
child 10186 | 499637e8f2c6 |
1.1 --- a/doc-src/TutorialI/IsaMakefile Mon Oct 02 14:22:39 2000 +0200 1.2 +++ b/doc-src/TutorialI/IsaMakefile Mon Oct 02 14:25:10 2000 +0200 1.3 @@ -106,7 +106,7 @@ 1.4 1.5 HOL-CTL: HOL $(LOG)/HOL-CTL.gz 1.6 1.7 -$(LOG)/HOL-CTL.gz: $(OUT)/HOL CTL/PDL.thy CTL/CTL.thy CTL/ROOT.ML 1.8 +$(LOG)/HOL-CTL.gz: $(OUT)/HOL CTL/Base.thy CTL/PDL.thy CTL/CTL.thy CTL/ROOT.ML 1.9 @$(ISATOOL) usedir -i true -d dvi -D document $(OUT)/HOL CTL 1.10 @rm -f tutorial.dvi 1.11