author | bulwahn |
Thu, 31 Mar 2011 11:17:52 +0200 | |
changeset 42184 | 1d4fae76ba5e |
parent 31050 | 555b56b66fcf |
child 42511 | bf89455ccf9d |
permissions | -rw-r--r-- |
20948 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: dvi |
|
5 |
||
6 |
||
7 |
## dependencies |
|
8 |
||
20989 | 9 |
include ../Makefile.in |
20948 | 10 |
|
11 |
NAME = codegen |
|
12 |
||
28213 | 13 |
FILES = $(NAME).tex Thy/document/*.tex \ |
30226 | 14 |
style.sty ../iman.sty ../extra.sty ../isar.sty \ |
15 |
../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ |
|
16 |
../manual.bib ../proof.sty |
|
20948 | 17 |
|
18 |
dvi: $(NAME).dvi |
|
19 |
||
31050 | 20 |
$(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps |
20948 | 21 |
$(LATEX) $(NAME) |
22 |
$(BIBTEX) $(NAME) |
|
23 |
$(LATEX) $(NAME) |
|
24 |
$(LATEX) $(NAME) |
|
25 |
||
26 |
pdf: $(NAME).pdf |
|
27 |
||
31050 | 28 |
$(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf |
20948 | 29 |
$(PDFLATEX) $(NAME) |
30 |
$(BIBTEX) $(NAME) |
|
31 |
$(PDFLATEX) $(NAME) |
|
32 |
$(PDFLATEX) $(NAME) |
|
33 |
$(FIXBOOKMARKS) $(NAME).out |
|
34 |
$(PDFLATEX) $(NAME) |
|
35 |
$(PDFLATEX) $(NAME) |
|
30734 | 36 |
|
30882
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
37 |
architecture.dvi: Thy/pictures/architecture.tex |
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
38 |
latex -output-directory=$(dir $@) $< |
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
39 |
|
31050 | 40 |
adaptation.dvi: Thy/pictures/adaptation.tex |
30734 | 41 |
latex -output-directory=$(dir $@) $< |
42 |
||
30882
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
43 |
architecture.eps: architecture.dvi |
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
44 |
dvips -E -o $@ $< |
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
45 |
|
31050 | 46 |
adaptation.eps: adaptation.dvi |
30734 | 47 |
dvips -E -o $@ $< |
48 |
||
30882
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
49 |
architecture.pdf: architecture.eps |
30734 | 50 |
epstopdf --outfile=$@ $< |
30882
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
51 |
|
31050 | 52 |
adaptation.pdf: adaptation.eps |
30882
d15725e84091
moved generated eps/pdf to main directory, for proper display in dvi;
wenzelm
parents:
30734
diff
changeset
|
53 |
epstopdf --outfile=$@ $< |