changeset 26741 | eb15fd4cd1ad |
parent 26738 | 615e1a86787b |
child 26754 | c0424e4de33d |
1.1 --- a/doc-src/IsarRef/IsaMakefile Tue Apr 22 22:00:31 2008 +0200 1.2 +++ b/doc-src/IsarRef/IsaMakefile Wed Apr 23 12:13:08 2008 +0200 1.3 @@ -21,7 +21,7 @@ 1.4 1.5 Thy: $(LOG)/Pure-Thy.gz 1.6 1.7 -$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML 1.8 +$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy 1.9 @$(USEDIR) Pure Thy 1.10 1.11