changeset 6072 | 5583261db33d |
parent 5548 | 5cd3396802f5 |
child 6585 | d5eae11efa42 |
--- 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)