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