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

     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   ../../lib/texinputs/isabelle.sty ../../lib/texinputs/isabellesym.sty ../pdfsetup.sty \

    16   ../manual.bib ../proof.sty

    18 dvi: $(NAME).dvi

    20 $(NAME).dvi: $(FILES) isabelle_isar.eps architecture.eps adaptation.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 adaptation.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 adaptation.dvi: Thy/pictures/adaptation.tex

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

    43 architecture.eps: architecture.dvi

    44 	dvips -E -o $@ $<

    46 adaptation.eps: adaptation.dvi

    47 	dvips -E -o $@ $<

    49 architecture.pdf: architecture.eps

    50 	epstopdf --outfile=$@ $<

    52 adaptation.pdf: adaptation.eps

    53 	epstopdf --outfile=$@ $<

author	wenzelm
	Sun, 01 May 2011 16:36:34 +0200
changeset 43382	bf89455ccf9d
parent 31050	555b56b66fcf
permissions	-rw-r--r--