Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/Codegen/Makefile
author haftmann
Thu, 26 Mar 2009 13:01:09 +0100
changeset 30734 ab05be086c4a
parent 30209 2f4684e2ea95
child 30881 d15725e84091
permissions -rw-r--r--
step towards proper pictures in dvi 
     1 

     2 ## targets

     3 

     4 default: dvi

     5 

     6 

     7 ## dependencies

     8 

     9 include ../Makefile.in

    10 

    11 NAME = codegen

    12 

    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

    17 

    18 dvi: $(NAME).dvi

    19 

    20 $(NAME).dvi: $(FILES) isabelle_isar.eps Thy/pictures/architecture.eps Thy/pictures/adaption.eps

    21 	$(LATEX) $(NAME)

    22 	$(BIBTEX) $(NAME)

    23 	$(LATEX) $(NAME)

    24 	$(LATEX) $(NAME)

    25 

    26 pdf: $(NAME).pdf

    27 

    28 $(NAME).pdf: $(FILES) isabelle_isar.pdf Thy/pictures/architecture.pdf Thy/pictures/adaption.pdf

    29 	$(PDFLATEX) $(NAME)

    30 	$(BIBTEX) $(NAME)

    31 	$(PDFLATEX) $(NAME)

    32 	$(PDFLATEX) $(NAME)

    33 	$(FIXBOOKMARKS) $(NAME).out

    34 	$(PDFLATEX) $(NAME)

    35 	$(PDFLATEX) $(NAME)

    36 

    37 Thy/pictures/%.dvi: Thy/pictures/%.tex

    38 	latex -output-directory=$(dir $@) $<

    39 

    40 Thy/pictures/%.eps: Thy/pictures/%.dvi

    41 	dvips -E -o $@ $<

    42 

    43 Thy/pictures/%.pdf: Thy/pictures/%.eps

    44 	epstopdf --outfile=$@ $<
wneuper/isa