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