equal
deleted
inserted
replaced
1 |
|
2 ## targets |
|
3 |
|
4 default: dvi |
|
5 |
|
6 ## dependencies |
|
7 |
|
8 dvi: |
|
9 cd Isar/document; make dvi |
|
10 |
|
11 pdf: |
|
12 cd Isar/document; make pdf |
|
13 |
|
14 clean: |
|
15 cd Isar/document; make clean |
|
16 |
|
17 mrproper: |
|
18 rm -f *.pdf *.dvi |
|
19 cd Isar/document; make mrproper |
|