equal
deleted
inserted
replaced
1 |
|
2 ## targets |
|
3 |
|
4 default: dvi |
|
5 |
|
6 |
|
7 ## dependencies |
|
8 |
|
9 include ../Makefile.in |
|
10 |
|
11 NAME = implementation |
|
12 |
|
13 FILES = ../extra.sty ../iman.sty ../../lib/texinputs/isabelle.sty \ |
|
14 ../../lib/texinputs/isabellesym.sty \ |
|
15 ../../lib/texinputs/railsetup.sty ../isar.sty ../manual.bib \ |
|
16 ../pdfsetup.sty ../proof.sty Thy/document/Eq.tex \ |
|
17 Thy/document/Integration.tex Thy/document/Isar.tex \ |
|
18 Thy/document/Local_Theory.tex Thy/document/Logic.tex \ |
|
19 Thy/document/Prelim.tex Thy/document/Proof.tex \ |
|
20 Thy/document/Syntax.tex Thy/document/Tactic.tex implementation.tex \ |
|
21 style.sty |
|
22 |
|
23 dvi: $(NAME).dvi |
|
24 |
|
25 $(NAME).dvi: $(FILES) isabelle_isar.eps |
|
26 $(LATEX) $(NAME) |
|
27 $(BIBTEX) $(NAME) |
|
28 $(LATEX) $(NAME) |
|
29 $(LATEX) $(NAME) |
|
30 $(SEDINDEX) $(NAME) |
|
31 $(LATEX) $(NAME) |
|
32 $(LATEX) $(NAME) |
|
33 |
|
34 pdf: $(NAME).pdf |
|
35 |
|
36 $(NAME).pdf: $(FILES) isabelle_isar.pdf |
|
37 $(PDFLATEX) $(NAME) |
|
38 $(BIBTEX) $(NAME) |
|
39 $(PDFLATEX) $(NAME) |
|
40 $(PDFLATEX) $(NAME) |
|
41 $(SEDINDEX) $(NAME) |
|
42 $(FIXBOOKMARKS) $(NAME).out |
|
43 $(PDFLATEX) $(NAME) |
|
44 $(PDFLATEX) $(NAME) |
|