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