equal
deleted
inserted
replaced
15 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ |
15 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \ |
16 ../manual.bib ../proof.sty |
16 ../manual.bib ../proof.sty |
17 |
17 |
18 dvi: $(NAME).dvi |
18 dvi: $(NAME).dvi |
19 |
19 |
20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaption.eps |
20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps |
21 $(LATEX) $(NAME) |
21 $(LATEX) $(NAME) |
22 $(BIBTEX) $(NAME) |
22 $(BIBTEX) $(NAME) |
23 $(LATEX) $(NAME) |
23 $(LATEX) $(NAME) |
24 $(LATEX) $(NAME) |
24 $(LATEX) $(NAME) |
25 |
25 |
26 pdf: $(NAME).pdf |
26 pdf: $(NAME).pdf |
27 |
27 |
28 $(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaption.pdf |
28 $(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf |
29 $(PDFLATEX) $(NAME) |
29 $(PDFLATEX) $(NAME) |
30 $(BIBTEX) $(NAME) |
30 $(BIBTEX) $(NAME) |
31 $(PDFLATEX) $(NAME) |
31 $(PDFLATEX) $(NAME) |
32 $(PDFLATEX) $(NAME) |
32 $(PDFLATEX) $(NAME) |
33 $(FIXBOOKMARKS) $(NAME).out |
33 $(FIXBOOKMARKS) $(NAME).out |
35 $(PDFLATEX) $(NAME) |
35 $(PDFLATEX) $(NAME) |
36 |
36 |
37 architecture.dvi: Thy/pictures/architecture.tex |
37 architecture.dvi: Thy/pictures/architecture.tex |
38 latex -output-directory=$(dir $@) $< |
38 latex -output-directory=$(dir $@) $< |
39 |
39 |
40 adaption.dvi: Thy/pictures/adaption.tex |
40 adaptation.dvi: Thy/pictures/adaptation.tex |
41 latex -output-directory=$(dir $@) $< |
41 latex -output-directory=$(dir $@) $< |
42 |
42 |
43 architecture.eps: architecture.dvi |
43 architecture.eps: architecture.dvi |
44 dvips -E -o $@ $< |
44 dvips -E -o $@ $< |
45 |
45 |
46 adaption.eps: adaption.dvi |
46 adaptation.eps: adaptation.dvi |
47 dvips -E -o $@ $< |
47 dvips -E -o $@ $< |
48 |
48 |
49 architecture.pdf: architecture.eps |
49 architecture.pdf: architecture.eps |
50 epstopdf --outfile=$@ $< |
50 epstopdf --outfile=$@ $< |
51 |
51 |
52 adaption.pdf: adaption.eps |
52 adaptation.pdf: adaptation.eps |
53 epstopdf --outfile=$@ $< |
53 epstopdf --outfile=$@ $< |