--- a/doc-src/IsarRef/IsaMakefile Mon Jun 02 13:21:06 2008 +0200
+++ b/doc-src/IsarRef/IsaMakefile Mon Jun 02 21:01:42 2008 +0200
@@ -21,21 +21,24 @@
HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
-$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
- Thy/syntax.thy Thy/Spec.thy Thy/Proof.thy Thy/pure.thy Thy/Generic.thy \
- Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/ML_Tactic.thy
+$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML \
+ Thy/Introduction.thy Thy/syntax.thy Thy/Spec.thy Thy/Proof.thy \
+ Thy/pure.thy Thy/Generic.thy Thy/HOL_Specific.thy \
+ Thy/Quick_Reference.thy Thy/ML_Tactic.thy
@$(USEDIR) -s IsarRef HOL Thy
HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
-$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML Thy/HOLCF_Specific.thy
+$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML \
+ Thy/HOLCF_Specific.thy
@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
-$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML Thy/ZF_Specific.thy
+$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML \
+ Thy/ZF_Specific.thy
@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy