# 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