| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 12 Aug 2010 15:03:34 +0200 | |
| branch | isac-from-Isabelle2009-2 |
| changeset 37913 | 20e3616b2d9c |
| parent 26913 | 67040326ab7a |
| child 43382 | bf89455ccf9d |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = logics-ZF
15 FILES = logics-ZF.tex ../Logics/syntax.tex FOL.tex ZF.tex logics.sty \
16 ../rail.sty ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty \
17 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty ../manual.bib
19 dvi: $(NAME).dvi
21 $(NAME).dvi: $(FILES) isabelle_zf.eps
22 $(LATEX) $(NAME)
23 $(RAIL) $(NAME)
24 $(BIBTEX) $(NAME)
25 $(LATEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(SEDINDEX) $(NAME)
28 $(LATEX) $(NAME)
30 pdf: $(NAME).pdf
32 $(NAME).pdf: $(FILES) isabelle_zf.pdf
33 $(PDFLATEX) $(NAME)
34 $(RAIL) $(NAME)
35 $(BIBTEX) $(NAME)
36 $(PDFLATEX) $(NAME)
37 $(PDFLATEX) $(NAME)
38 $(SEDINDEX) $(NAME)
39 $(FIXBOOKMARKS) $(NAME).out
40 $(PDFLATEX) $(NAME)