| author | krauss |
| Mon, 01 Mar 2010 17:05:57 +0100 | |
| changeset 35419 | d78659d1723e |
| parent 30457 | 28b487cd9e15 |
| child 42511 | bf89455ccf9d |
| permissions | -rw-r--r-- |
| 30442 | 1 |
|
2 |
## targets |
|
3 |
||
4 |
default: dvi |
|
5 |
||
6 |
||
7 |
## dependencies |
|
8 |
||
9 |
include ../Makefile.in |
|
10 |
||
11 |
NAME = main |
|
12 |
||
|
30457
28b487cd9e15
basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
30442
diff
changeset
|
13 |
FILES = ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty $(NAME).tex \ |
|
28b487cd9e15
basic setup for "main" as generated Isabelle manual;
wenzelm
parents:
30442
diff
changeset
|
14 |
Docs/document/Main_Doc.tex |
| 30442 | 15 |
|
16 |
dvi: $(NAME).dvi |
|
17 |
||
18 |
$(NAME).dvi: $(FILES) |
|
19 |
$(LATEX) $(NAME) |
|
20 |
||
21 |
pdf: $(NAME).pdf |
|
22 |
||
23 |
$(NAME).pdf: $(FILES) |
|
24 |
$(PDFLATEX) $(NAME) |