| changeset 28213 | b52f9205a02d |
| parent 26855 | 7bb3d2ee0606 |
| child 28500 | 4b79e5d3d0aa |
--- a/doc-src/IsarAdvanced/Codegen/IsaMakefile Fri Sep 12 12:04:20 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/IsaMakefile Sun Sep 14 21:50:35 2008 +0200 @@ -23,7 +23,7 @@ Thy: $(THY) -$(THY): Thy/ROOT.ML Thy/Codegen.thy ../../antiquote_setup.ML +$(THY): Thy/ROOT.ML Thy/*.thy ../../antiquote_setup.ML @$(USEDIR) HOL Thy