# HG changeset patch
# User nipkow
# Date 1089992023 -7200
# Node ID b1a368d93c5023e09c6d4624ea47b659b24082bf
# Parent  b75073d90bff8dbcbd8d255bfd5f11e467bc0be5
added Complex/root

diff -r b75073d90bff -r b1a368d93c50 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jul 16 17:33:12 2004 +0200
+++ b/src/HOL/IsaMakefile	Fri Jul 16 17:33:43 2004 +0200
@@ -158,8 +158,8 @@
   Hyperreal/Transcendental.thy Hyperreal/fuf.ML Hyperreal/hypreal_arith.ML \
   Complex/Complex_Main.thy Complex/CLim.thy Complex/CSeries.thy\
   Complex/CStar.thy Complex/Complex.thy Complex/ComplexBin.thy\
-  Complex/NSCA.thy Complex/NSComplex.thy
-	@cd Complex; $(ISATOOL) usedir -b $(OUT)/HOL HOL-Complex
+  Complex/NSCA.thy Complex/NSComplex.thy Complex/document/root.tex 
+	@cd Complex; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Complex
 
 
 ## HOL-Complex-ex