diff -r 1b2392ac5752 -r 5583261db33d doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Fri Jan 08 13:20:59 1999 +0100
+++ b/doc-src/Logics/Makefile	Fri Jan 08 14:02:04 1999 +0100
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
+FILES =  logics.tex preface.tex syntax.tex HOL.tex LK.tex CTT.tex\
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES)