changeset 7160 | 1135f3f8782c |
parent 6668 | fb098775306c |
child 8828 | 5be2d1745c61 |
--- a/doc-src/Logics/Makefile Tue Aug 03 13:05:54 1999 +0200 +++ b/doc-src/Logics/Makefile Tue Aug 03 13:06:16 1999 +0200 @@ -12,7 +12,7 @@ include ../Makefile.in NAME = logics -FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \ +FILES = logics.tex preface.tex syntax.tex LK.tex Sequents.tex CTT.tex \ ../proof.sty ../iman.sty ../extra.sty ../manual.bib dvi: $(NAME).dvi