doc-src/Codegen/Makefile
author haftmann
Fri Jan 22 13:38:28 2010 +0100 (2010-01-22)
changeset 34944 970e1466028d
parent 31050 555b56b66fcf
child 42511 bf89455ccf9d
permissions -rw-r--r--
code literals: distinguish numeral classes by different entries
     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 architecture.eps adaptation.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 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)
    36 
    37 architecture.dvi: Thy/pictures/architecture.tex
    38 	latex -output-directory=$(dir $@) $<
    39 
    40 adaptation.dvi: Thy/pictures/adaptation.tex
    41 	latex -output-directory=$(dir $@) $<
    42 
    43 architecture.eps: architecture.dvi
    44 	dvips -E -o $@ $<
    45 
    46 adaptation.eps: adaptation.dvi
    47 	dvips -E -o $@ $<
    48 
    49 architecture.pdf: architecture.eps
    50 	epstopdf --outfile=$@ $<
    51 
    52 adaptation.pdf: adaptation.eps
    53 	epstopdf --outfile=$@ $<