ProgTutorial/Helper/IsaMakefile
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