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