--- a/src/HOL/IsaMakefile Fri Jan 18 18:30:19 2002 +0100
+++ b/src/HOL/IsaMakefile Fri Jan 18 18:35:39 2002 +0100
@@ -191,7 +191,8 @@
Library/Ring_and_Field_Example.thy Library/Nat_Infinity.thy \
Library/README.html Library/Continuity.thy \
Library/Nested_Environment.thy Library/Rational_Numbers.thy \
- Library/Library/ROOT.ML Library/While_Combinator.thy
+ Library/Library/ROOT.ML Library/Library/document/root.tex \
+ Library/Library/document/root.bib Library/While_Combinator.thy
@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library