+−# +−# $Id$ +−# +− +−## targets +− +−default: dvi +− +−## dependencies +− +−dvi: +− cd Isar/document; make dvi +− +−pdf: +− cd Isar/document; make pdf +− +−clean: +− cd Isar/document; make clean +− +−mrproper: +− rm -f *.pdf *.dvi +− cd Isar/document; make mrproper