diff -r 15bab630ae31 -r e2eba24c8a2a doc-src/ZF/Makefile
--- a/doc-src/ZF/Makefile	Wed Aug 20 13:05:22 2003 +0200
+++ b/doc-src/ZF/Makefile	Wed Aug 20 13:34:17 2003 +0200
@@ -12,7 +12,7 @@
 include ../Makefile.in
 
 NAME = logics-ZF
-FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex \
+FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty\
 	../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
 
 dvi: $(NAME).dvi