doc-src/IsarOverview/Makefile
author wenzelm
Sat Apr 30 20:48:29 2011 +0200 (2011-04-30)
changeset 42506 876887b07e8d
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
more robust error handling (NB: Source.source requires total scanner or recover);
tuned;
kleing@14003
     1
#
kleing@14003
     2
# $Id$
kleing@14003
     3
#
kleing@14003
     4
kleing@14003
     5
## targets
kleing@14003
     6
kleing@14003
     7
default: dvi
kleing@14003
     8
kleing@14003
     9
## dependencies
kleing@14003
    10
kleing@14003
    11
dvi:
kleing@14003
    12
	cd Isar/document; make dvi
kleing@14003
    13
kleing@14003
    14
pdf:
kleing@14003
    15
	cd Isar/document; make pdf
kleing@14003
    16
kleing@14003
    17
clean:
kleing@14003
    18
	cd Isar/document; make clean
kleing@14003
    19
kleing@14003
    20
mrproper:
kleing@14003
    21
	rm -f *.pdf *.dvi
kleing@14003
    22
	cd Isar/document; make mrproper