# HG changeset patch
# User wenzelm
# Date 1210278683 -7200
# Node ID 7bb3d2ee0606d59bef47b0e18fdac43d6d5454f8
# Parent  9b4aec46ad7835c06ed86cfbaebb8c81363f0a5d
depend on ../../antiquote_setup.ML;

diff -r 9b4aec46ad78 -r 7bb3d2ee0606 doc-src/IsarAdvanced/Codegen/IsaMakefile
--- a/doc-src/IsarAdvanced/Codegen/IsaMakefile	Thu May 08 22:20:33 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/IsaMakefile	Thu May 08 22:31:23 2008 +0200
@@ -23,7 +23,7 @@
 
 Thy: $(THY)
 
-$(THY): Thy/ROOT.ML Thy/Codegen.thy
+$(THY): Thy/ROOT.ML Thy/Codegen.thy ../../antiquote_setup.ML
 	@$(USEDIR) HOL Thy