--- a/doc-src/ZF/IsaMakefile Sun May 01 16:36:34 2011 +0200
+++ b/doc-src/ZF/IsaMakefile Sun May 01 16:52:29 2011 +0200
@@ -4,7 +4,7 @@
## targets
-default: ZF-examples styles
+default: ZF-examples
images:
test:
all: default
@@ -15,8 +15,7 @@
SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log
-OPTIONS = -m brackets -i true -d "" -D document
-USEDIR = @$(ISABELLE_TOOL) usedir $(OPTIONS) $(OUT)/ZF
+USEDIR = @$(ISABELLE_TOOL) usedir -m brackets -i true -d "" -D document
## ZF
@@ -24,17 +23,6 @@
ZF:
@cd $(SRC)/ZF; $(ISABELLE_TOOL) make ZF
-styles:
- @rm -f isabelle.sty
- @rm -f isabellesym.sty
- @rm -f pdfsetup.sty
- @$(ISABELLE_TOOL) latex -o sty >/dev/null
- @rm -f pdfsetup.sty
- @rm -f document/isabelle.sty
- @rm -f document/isabellesym.sty
- @rm -f document/pdfsetup.sty
- @rm -f document/session.tex
-
## ZF-examples
@@ -42,7 +30,11 @@
$(LOG)/ZF-examples.gz: $(OUT)/ZF \
FOL_examples.thy IFOL_examples.thy ZF_examples.thy If.thy ROOT.ML
- @$(USEDIR) .
+ @$(USEDIR) -s examples $(OUT)/ZF .
+ @rm -f document/isabelle.sty
+ @rm -f document/isabellesym.sty
+ @rm -f document/pdfsetup.sty
+ @rm -f document/session.tex
## clean