1.1 --- a/doc-src/IsarRef/IsaMakefile	Mon Jun 02 13:21:06 2008 +0200
     1.2 +++ b/doc-src/IsarRef/IsaMakefile	Mon Jun 02 21:01:42 2008 +0200
     1.3 @@ -21,21 +21,24 @@
     1.4  
     1.5  HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
     1.6  
     1.7 -$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
     1.8 -  Thy/syntax.thy Thy/Spec.thy Thy/Proof.thy Thy/pure.thy Thy/Generic.thy \
     1.9 -  Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/ML_Tactic.thy
    1.10 +$(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML		\
    1.11 +  Thy/Introduction.thy Thy/syntax.thy Thy/Spec.thy Thy/Proof.thy	\
    1.12 +  Thy/pure.thy Thy/Generic.thy Thy/HOL_Specific.thy			\
    1.13 +  Thy/Quick_Reference.thy Thy/ML_Tactic.thy
    1.14  	@$(USEDIR) -s IsarRef HOL Thy
    1.15  
    1.16  
    1.17  HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
    1.18  
    1.19 -$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML Thy/HOLCF_Specific.thy
    1.20 +$(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
    1.21 +  Thy/HOLCF_Specific.thy
    1.22  	@$(USEDIR) -s IsarRef -f ROOT-HOLCF.ML HOLCF Thy
    1.23  
    1.24  
    1.25  ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
    1.26  
    1.27 -$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML Thy/ZF_Specific.thy
    1.28 +$(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
    1.29 +  Thy/ZF_Specific.thy
    1.30  	@$(USEDIR) -s IsarRef -f ROOT-ZF.ML ZF Thy
    1.31  
    1.32