# HG changeset patch
# User huffman
# Date 1110234606 -3600
# Node ID f7f81203470763f39b342bcc5567249ed7b1e439
# Parent  513aa9a3a26dd46797051f3baa1a31b685fb75d7
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.

diff -r 513aa9a3a26d -r f7f812034707 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Mon Mar 07 19:41:04 2005 +0100
+++ b/src/HOLCF/IsaMakefile	Mon Mar 07 23:30:06 2005 +0100
@@ -38,8 +38,8 @@
   Up.thy adm.ML cont_consts.ML \
   domain/axioms.ML domain/extender.ML domain/interface.ML \
   domain/library.ML domain/syntax.ML domain/theorems.ML holcf_logic.ML \
-  ex/Stream.thy
-	@$(ISATOOL) usedir -b -r $(OUT)/HOL HOLCF
+  ex/Stream.thy document/root.tex
+	@$(ISATOOL) usedir -b -g true -r $(OUT)/HOL HOLCF
 
 
 ## HOLCF-IMP