diff -r bb10ac677955 -r a79681a01f41 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Nov 08 00:26:41 2001 +0100
+++ b/src/HOL/IsaMakefile	Thu Nov 08 17:42:43 2001 +0100
@@ -532,7 +532,7 @@
   ex/Ring.ML ex/Ring.thy ex/StringEx.thy ex/Tarski.ML \
   ex/Tarski.thy ex/Tuple.thy ex/cla.ML ex/mesontest.ML ex/mesontest2.ML \
   ex/mesontest2.thy ex/set.ML ex/set.thy ex/svc_test.ML ex/svc_test.thy \
-  ex/document/root.tex
+  ex/document/root.bib ex/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL ex