diff -r 153fe83804c9 -r 096792bdc58e doc-src/AxClass/IsaMakefile
--- a/doc-src/AxClass/IsaMakefile	Fri Aug 19 22:28:23 2005 +0200
+++ b/doc-src/AxClass/IsaMakefile	Fri Aug 19 22:44:01 2005 +0200
@@ -13,7 +13,7 @@
 SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -d "" -D ../generated
+USEDIR = $(ISATOOL) usedir -d false -D document
 
 
 ## Group
@@ -26,7 +26,7 @@
 $(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/Group.thy \
   Group/Product.thy Group/Semigroups.thy
 	@$(USEDIR) $(OUT)/HOL Group
-	@rm -f generated/pdfsetup.sty generated/session.tex
+	@rm -f Group/document/pdfsetup.sty Group/document/session.tex
 
 
 ## Nat
@@ -38,7 +38,7 @@
 
 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.ML Nat/NatClass.thy
 	@$(USEDIR) $(OUT)/FOL Nat
-	@rm -f generated/pdfsetup.sty generated/session.tex
+	@rm -f Nat/document/*.sty Nat/document/session.tex
 
 
 ## clean