doc-src/Logics/Makefile
changeset 6585 d5eae11efa42
parent 6072 5583261db33d
child 6597 56ff27255ac8
--- a/doc-src/Logics/Makefile	Tue May 04 18:27:36 1999 +0200
+++ b/doc-src/Logics/Makefile	Tue May 04 18:55:43 1999 +0200
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics.tex preface.tex syntax.tex HOL.tex LK.tex CTT.tex\
+FILES =  logics.tex preface.tex syntax.tex LK.tex CTT.tex\
 	 ../rail.sty ../proof.sty ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES)