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)