# HG changeset patch
# User huffman
# Date 1187624044 -7200
# Node ID d929e9b2e59820cb4d74bb1b08654ea7e1a29ca2
# Parent  14787722149ab62fd399d526645bab22b42f1733
Word/document/root.tex

diff -r 14787722149a -r d929e9b2e598 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Aug 20 17:31:59 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Aug 20 17:34:04 2007 +0200
@@ -825,7 +825,8 @@
   Word/WordShift.thy \
   Word/WordGenLib.thy \
   Word/WordMain.thy \
-  Word/WordExamples.thy
+  Word/WordExamples.thy \
+  Word/document/root.tex
 	@cd Word; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Word