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