| changeset 25988 | 89a03048f312 |
| parent 17133 | 096792bdc58e |
| child 28500 | 4b79e5d3d0aa |
--- a/doc-src/AxClass/IsaMakefile Sat Jan 26 23:15:33 2008 +0100 +++ b/doc-src/AxClass/IsaMakefile Sun Jan 27 18:32:32 2008 +0100 @@ -36,7 +36,7 @@ FOL: @cd $(SRC)/FOL; $(ISATOOL) make FOL -$(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.ML Nat/NatClass.thy +$(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.thy @$(USEDIR) $(OUT)/FOL Nat @rm -f Nat/document/*.sty Nat/document/session.tex