| changeset 26754 | c0424e4de33d |
| parent 26741 | eb15fd4cd1ad |
| child 26758 | 72af85f6d70b |
--- a/doc-src/IsarRef/IsaMakefile Mon Apr 28 13:41:04 2008 +0200 +++ b/doc-src/IsarRef/IsaMakefile Mon Apr 28 14:22:42 2008 +0200 @@ -21,7 +21,8 @@ Thy: $(LOG)/Pure-Thy.gz -$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy +$(LOG)/Pure-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \ + Thy/syntax.thy @$(USEDIR) Pure Thy