# HG changeset patch
# User wenzelm
# Date 1124483114 -7200
# Node ID 228eec5f5502939a7478f32673f0076619a95bfb
# Parent  bb09ba3e5b2f5e3f6bf7e0609b6c5c396b44cfa5
tuned;

diff -r bb09ba3e5b2f -r 228eec5f5502 doc-src/AxClass/IsaMakefile
--- a/doc-src/AxClass/IsaMakefile	Fri Aug 19 22:19:59 2005 +0200
+++ b/doc-src/AxClass/IsaMakefile	Fri Aug 19 22:25:14 2005 +0200
@@ -13,7 +13,7 @@
 SRC = $(ISABELLE_HOME)/src
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
-USEDIR = $(ISATOOL) usedir -i true -d dvi -D ../generated
+USEDIR = $(ISATOOL) usedir -d "" -D ../generated
 
 
 ## Group
@@ -23,8 +23,8 @@
 HOL:
 	@cd $(SRC)/HOL; $(ISATOOL) make HOL
 
-$(LOG)/HOL-Group.gz: $(OUT)/HOL Group/ROOT.ML Group/document/root.tex \
-  Group/Group.thy Group/Product.thy Group/Semigroups.thy
+$(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
 
@@ -36,8 +36,7 @@
 FOL:
 	@cd $(SRC)/FOL; $(ISATOOL) make FOL
 
-$(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/document/root.tex \
-  Nat/NatClass.ML Nat/NatClass.thy
+$(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