1.1 --- a/doc-src/Codegen/Makefile Mon Mar 23 08:16:24 2009 +0100
1.2 +++ b/doc-src/Codegen/Makefile Thu Mar 26 13:01:09 2009 +0100
1.3 @@ -17,7 +17,7 @@
1.4
1.5 dvi: $(NAME).dvi
1.6
1.7 -$(NAME).dvi: $(FILES) isabelle_isar.eps codegen_process.ps
1.8 +$(NAME).dvi: $(FILES) isabelle_isar.eps Thy/pictures/architecture.eps Thy/pictures/adaption.eps
1.9 $(LATEX) $(NAME)
1.10 $(BIBTEX) $(NAME)
1.11 $(LATEX) $(NAME)
1.12 @@ -25,7 +25,7 @@
1.13
1.14 pdf: $(NAME).pdf
1.15
1.16 -$(NAME).pdf: $(FILES) isabelle_isar.pdf codegen_process.pdf
1.17 +$(NAME).pdf: $(FILES) isabelle_isar.pdf Thy/pictures/architecture.pdf Thy/pictures/adaption.pdf
1.18 $(PDFLATEX) $(NAME)
1.19 $(BIBTEX) $(NAME)
1.20 $(PDFLATEX) $(NAME)
1.21 @@ -33,3 +33,12 @@
1.22 $(FIXBOOKMARKS) $(NAME).out
1.23 $(PDFLATEX) $(NAME)
1.24 $(PDFLATEX) $(NAME)
1.25 +
1.26 +Thy/pictures/%.dvi: Thy/pictures/%.tex
1.27 + latex -output-directory=$(dir $@) $<
1.28 +
1.29 +Thy/pictures/%.eps: Thy/pictures/%.dvi
1.30 + dvips -E -o $@ $<
1.31 +
1.32 +Thy/pictures/%.pdf: Thy/pictures/%.eps
1.33 + epstopdf --outfile=$@ $<