1.1 --- a/doc-src/IsarRef/IsaMakefile	Tue Feb 08 07:42:08 2011 +0100
     1.2 +++ b/doc-src/IsarRef/IsaMakefile	Tue Feb 08 18:39:36 2011 +1100
     1.3 @@ -31,8 +31,10 @@
     1.4  	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     1.5  	 Thy/document/pdfsetup.sty Thy/document/session.tex
     1.6  
     1.7 +HOLCF:
     1.8 +	@cd $(SRC)/HOL; $(ISABELLE_TOOL) make HOLCF
     1.9  
    1.10 -HOLCF-IsarRef: $(LOG)/HOLCF-IsarRef.gz
    1.11 +HOLCF-IsarRef: HOLCF $(LOG)/HOLCF-IsarRef.gz
    1.12  
    1.13  $(LOG)/HOLCF-IsarRef.gz: Thy/ROOT-HOLCF.ML ../antiquote_setup.ML	\
    1.14    Thy/HOLCF_Specific.thy
    1.15 @@ -40,8 +42,10 @@
    1.16  	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    1.17  	 Thy/document/pdfsetup.sty Thy/document/session.tex
    1.18  
    1.19 +ZF:
    1.20 +	@cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF
    1.21  
    1.22 -ZF-IsarRef: $(LOG)/ZF-IsarRef.gz
    1.23 +ZF-IsarRef: ZF $(LOG)/ZF-IsarRef.gz
    1.24  
    1.25  $(LOG)/ZF-IsarRef.gz: Thy/ROOT-ZF.ML ../antiquote_setup.ML 		\
    1.26    Thy/ZF_Specific.thy