diff -r 58b9785f8534 -r fb098775306c doc-src/HOL/Makefile
--- a/doc-src/HOL/Makefile	Mon May 17 21:36:34 1999 +0200
+++ b/doc-src/HOL/Makefile	Tue May 18 12:34:42 1999 +0200
@@ -13,7 +13,7 @@
 
 NAME = logics-HOL
 FILES = logics-HOL.tex ../Logics/syntax.tex HOL.tex \
-	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
+	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../manual.bib
 
 dvi: $(NAME).dvi