put global isatest settings in one file, sourced by the other scripts
## $Id$### targetsdefault: dvi## dependenciesdvi: cd Isar/document; make dvipdf: cd Isar/document; make pdfclean: cd Isar/document; make cleanmrproper: rm -f *.pdf *.dvi cd Isar/document; make mrproper