diff -r 861e06a047c5 -r 19363c70b5c4 doc-src/IsarRef/IsaMakefile
--- a/doc-src/IsarRef/IsaMakefile	Sun May 04 21:34:44 2008 +0200
+++ b/doc-src/IsarRef/IsaMakefile	Mon May 05 15:23:21 2008 +0200
@@ -22,7 +22,7 @@
 Thy: $(LOG)/HOL-Thy.gz
 
 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \
-  Thy/pure.thy Thy/syntax.thy Thy/Quick_Reference.thy
+  Thy/syntax.thy Thy/pure.thy Thy/Generic.thy Thy/Quick_Reference.thy
 	@$(USEDIR) HOL Thy