wneuper/isa: doc-src/Codegen/Makefile@d15725e84091

     2 ## targets

     4 default: dvi

     7 ## dependencies

     9 include ../Makefile.in

    11 NAME = codegen

    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

    18 dvi: $(NAME).dvi

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

    21 	$(LATEX) $(NAME)

    22 	$(BIBTEX) $(NAME)

    23 	$(LATEX) $(NAME)

    24 	$(LATEX) $(NAME)

    26 pdf: $(NAME).pdf

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

    29 	$(PDFLATEX) $(NAME)

    30 	$(BIBTEX) $(NAME)

    31 	$(PDFLATEX) $(NAME)

    32 	$(PDFLATEX) $(NAME)

    33 	$(FIXBOOKMARKS) $(NAME).out

    34 	$(PDFLATEX) $(NAME)

    35 	$(PDFLATEX) $(NAME)

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

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

    40 adaption.dvi: Thy/pictures/adaption.tex

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

    43 architecture.eps: architecture.dvi

    44 	dvips -E -o $@ $<

    46 adaption.eps: adaption.dvi

    47 	dvips -E -o $@ $<

    49 architecture.pdf: architecture.eps

    50 	epstopdf --outfile=$@ $<

    52 adaption.pdf: adaption.eps

    53 	epstopdf --outfile=$@ $<

author	wenzelm
	Tue, 07 Apr 2009 21:24:39 +0200
changeset 30881	d15725e84091
parent 30734	ab05be086c4a
child 31050	555b56b66fcf
permissions	-rw-r--r--