changeset 321 | e450fa467e3f |
parent 320 | 185921021551 |
--- a/ProgTutorial/Helper/IsaMakefile Fri Aug 21 16:23:51 2009 +0200 +++ b/ProgTutorial/Helper/IsaMakefile Sat Aug 22 02:56:08 2009 +0200 @@ -21,7 +21,7 @@ Command: $(LOG)/HOL-Command.gz -$(LOG)/HOL-Command.gz: ## Command/ROOT.ML Command/document/root.tex Command/*.thy +$(LOG)/HOL-Command.gz: Command/ROOT.ML Command/*.thy @$(USEDIR) HOL Command