diff -r bf89455ccf9d -r f1ca2b0e0265 doc-src/ZF/IsaMakefile
--- 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