--- 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