--- a/doc-src/TutorialI/IsarOverview/IsaMakefile	Tue Oct 01 15:03:28 2002 +0200
+++ b/doc-src/TutorialI/IsarOverview/IsaMakefile	Tue Oct 01 20:54:17 2002 +0200
@@ -14,7 +14,8 @@
 
 Isar: $(LOG)/HOL-Isar.gz
 
-$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/root.tex Isar/document/root.bib Isar/*.thy
+$(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
+  Isar/document/root.tex Isar/document/root.bib Isar/*.thy
 	@$(USEDIR) HOL Isar