| changeset 14003 | 740788f3f6b7 |
| child 43508 | 381fdcab0f36 |
| 14002:a36681758881 | 14003:740788f3f6b7 |
|---|---|
1 # |
|
2 # $Id$ |
|
3 # |
|
4 |
|
5 ## targets |
|
6 |
|
7 default: dvi |
|
8 |
|
9 ## dependencies |
|
10 |
|
11 dvi: |
|
12 cd Isar/document; make dvi |
|
13 |
|
14 pdf: |
|
15 cd Isar/document; make pdf |
|
16 |
|
17 clean: |
|
18 cd Isar/document; make clean |
|
19 |
|
20 mrproper: |
|
21 rm -f *.pdf *.dvi |
|
22 cd Isar/document; make mrproper |