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