author | wenzelm |
Wed, 05 May 1999 18:24:57 +0200 | |
changeset 6598 | c1d7791f0314 |
parent 6597 | 56ff27255ac8 |
child 6623 | 021728c71030 |
permissions | -rw-r--r-- |
# # $Id$ # ## targets default: dvi dist: dvi ## dependencies include ../Makefile.in NAME = logics FILES = logics.tex preface.tex syntax.tex LK.tex CTT.tex \ ../proof.sty ../iman.sty ../extra.sty dvi: $(NAME).dvi $(NAME).dvi: $(FILES) isabelle.eps touch $(NAME).ind $(LATEX) $(NAME) $(BIBTEX) $(NAME) $(LATEX) $(NAME) $(LATEX) $(NAME) $(SEDINDEX) $(NAME) $(LATEX) $(NAME)