--- 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