doc-src/Codegen/Makefile
changeset 30734 ab05be086c4a
parent 30226 2f4684e2ea95
child 30882 d15725e84091
     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=$@ $<