author | krauss |
Mon, 03 Sep 2007 16:50:53 +0200 | |
changeset 24524 | 6892fdc7e9f8 |
parent 14159 | e2eba24c8a2a |
child 26913 | 67040326ab7a |
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 ../manual.bib
18 dvi: $(NAME).dvi
20 $(NAME).dvi: $(FILES) isabelle_zf.eps
21 $(LATEX) $(NAME)
22 $(RAIL) $(NAME)
23 $(BIBTEX) $(NAME)
24 $(LATEX) $(NAME)
25 $(LATEX) $(NAME)
26 $(SEDINDEX) $(NAME)
27 $(LATEX) $(NAME)
29 pdf: $(NAME).pdf
31 $(NAME).pdf: $(FILES) isabelle_zf.pdf
32 $(PDFLATEX) $(NAME)
33 $(RAIL) $(NAME)
34 $(BIBTEX) $(NAME)
35 $(PDFLATEX) $(NAME)
36 $(PDFLATEX) $(NAME)
37 $(SEDINDEX) $(NAME)
38 $(FIXBOOKMARKS) $(NAME).out
39 $(PDFLATEX) $(NAME)