1.1 --- a/doc-src/IsarAdvanced/Codegen/Makefile Wed Mar 04 11:05:02 2009 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,38 +0,0 @@
1.4 -#
1.5 -# $Id$
1.6 -#
1.7 -
1.8 -## targets
1.9 -
1.10 -default: dvi
1.11 -
1.12 -
1.13 -## dependencies
1.14 -
1.15 -include ../Makefile.in
1.16 -
1.17 -NAME = codegen
1.18 -
1.19 -FILES = $(NAME).tex Thy/document/*.tex \
1.20 - style.sty ../../iman.sty ../../extra.sty ../../isar.sty \
1.21 - ../../isabelle.sty ../../isabellesym.sty ../../pdfsetup.sty \
1.22 - ../../manual.bib ../../proof.sty
1.23 -
1.24 -dvi: $(NAME).dvi
1.25 -
1.26 -$(NAME).dvi: $(FILES) isabelle_isar.eps codegen_process.ps
1.27 - $(LATEX) $(NAME)
1.28 - $(BIBTEX) $(NAME)
1.29 - $(LATEX) $(NAME)
1.30 - $(LATEX) $(NAME)
1.31 -
1.32 -pdf: $(NAME).pdf
1.33 -
1.34 -$(NAME).pdf: $(FILES) isabelle_isar.pdf codegen_process.pdf
1.35 - $(PDFLATEX) $(NAME)
1.36 - $(BIBTEX) $(NAME)
1.37 - $(PDFLATEX) $(NAME)
1.38 - $(PDFLATEX) $(NAME)
1.39 - $(FIXBOOKMARKS) $(NAME).out
1.40 - $(PDFLATEX) $(NAME)
1.41 - $(PDFLATEX) $(NAME)