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