diff -r 7be0684950a3 -r c080ff36d24e doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Thu Jun 29 12:08:44 1995 +0200
+++ b/doc-src/Logics/Makefile	Thu Jun 29 12:28:27 1995 +0200
@@ -6,7 +6,7 @@
 #########################################################################
 
 
-FILES =  logics.tex intro.tex FOL.tex ZF.tex HOL.tex LK.tex CTT.tex\
+FILES =  logics.tex intro.tex FOL.tex ZF.tex CHOL.tex LK.tex CTT.tex\
 	 ../iman.sty ../extra.sty
 
 logics.dvi.gz:   $(FILES)