author | wenzelm |
Mon, 02 May 2011 22:31:46 +0200 | |
changeset 43508 | 381fdcab0f36 |
parent 9695 | ec7d7f877712 |
permissions | -rw-r--r-- |
2 ## targets
4 default: dvi
7 ## dependencies
9 include ../Makefile.in
11 NAME = logics
12 FILES = logics.tex preface.tex syntax.tex LK.tex Sequents.tex CTT.tex \
13 ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
15 dvi: $(NAME).dvi
17 $(NAME).dvi: $(FILES) isabelle.eps
18 $(LATEX) $(NAME)
19 $(BIBTEX) $(NAME)
20 $(LATEX) $(NAME)
21 $(LATEX) $(NAME)
22 $(SEDINDEX) $(NAME)
23 $(LATEX) $(NAME)
25 pdf: $(NAME).pdf
27 $(NAME).pdf: $(FILES) isabelle.pdf
28 $(PDFLATEX) $(NAME)
29 $(BIBTEX) $(NAME)
30 $(PDFLATEX) $(NAME)
31 $(PDFLATEX) $(NAME)
32 $(SEDINDEX) $(NAME)
33 $(FIXBOOKMARKS) $(NAME).out
34 $(PDFLATEX) $(NAME)