author | wenzelm |
Mon, 02 Jan 2006 20:16:52 +0100 | |
changeset 18537 | 2681f9e34390 |
child 26905 | 5cde053f16b8 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 MAKEGLOSSARY = ./makeglossary
16 NAME = implementation
18 FILES = implementation.tex intro.tex Thy/document/prelim.tex Thy/document/logic.tex \
19 Thy/document/tactic.tex Thy/document/proof.tex Thy/document/locale.tex \
20 Thy/document/integration.tex style.sty ../iman.sty ../extra.sty ../isar.sty \
21 ../manual.bib ../proof.sty
23 dvi: $(NAME).dvi
25 $(NAME).dvi: $(FILES) isabelle_isar.eps
26 $(LATEX) $(NAME)
27 $(BIBTEX) $(NAME)
28 $(LATEX) $(NAME)
29 $(LATEX) $(NAME)
30 $(MAKEGLOSSARY) $(NAME)
31 $(SEDINDEX) $(NAME)
32 $(LATEX) $(NAME)
33 $(LATEX) $(NAME)
35 pdf: $(NAME).pdf
37 $(NAME).pdf: $(FILES) isabelle_isar.pdf
38 $(PDFLATEX) $(NAME)
39 $(BIBTEX) $(NAME)
40 $(PDFLATEX) $(NAME)
41 $(PDFLATEX) $(NAME)
42 $(MAKEGLOSSARY) $(NAME)
43 $(SEDINDEX) $(NAME)
44 $(FIXBOOKMARKS) $(NAME).out
45 $(PDFLATEX) $(NAME)
46 $(PDFLATEX) $(NAME)