author | haftmann |
Sun, 14 Sep 2008 21:50:35 +0200 | |
changeset 28213 | b52f9205a02d |
parent 26911 | 871cc7f11034 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = codegen
16 FILES = $(NAME).tex Thy/document/*.tex \
17 style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
18 ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \
19 ../../manual.bib ../../proof.sty
21 dvi: $(NAME).dvi
23 $(NAME).dvi: $(FILES) isabelle_isar.eps codegen_process.ps
24 $(LATEX) $(NAME)
25 $(BIBTEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(LATEX) $(NAME)
29 pdf: $(NAME).pdf
31 $(NAME).pdf: $(FILES) isabelle_isar.pdf codegen_process.pdf
32 $(PDFLATEX) $(NAME)
33 $(BIBTEX) $(NAME)
34 $(PDFLATEX) $(NAME)
35 $(PDFLATEX) $(NAME)
36 $(FIXBOOKMARKS) $(NAME).out
37 $(PDFLATEX) $(NAME)
38 $(PDFLATEX) $(NAME)