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