13 FILES = $(NAME).tex Thy/document/*.tex \
14 style.sty ../iman.sty ../extra.sty ../isar.sty \
15 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty \
16 ../manual.bib ../proof.sty
20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.eps
28 $(NAME).pdf: $(FILES) isabelle_isar.pdf architecture.pdf adaptation.pdf
33 $(FIXBOOKMARKS) $(NAME).out
37 architecture.dvi: Thy/pictures/architecture.tex
38 latex -output-directory=$(dir $@) $<
40 adaptation.dvi: Thy/pictures/adaptation.tex
41 latex -output-directory=$(dir $@) $<
43 architecture.eps: architecture.dvi
46 adaptation.eps: adaptation.dvi
49 architecture.pdf: architecture.eps
50 epstopdf --outfile=$@ $<
52 adaptation.pdf: adaptation.eps
53 epstopdf --outfile=$@ $<