doc-src/IsarOverview/Makefile
author wenzelm
Mon May 02 22:31:46 2011 +0200 (2011-05-02)
changeset 42637 381fdcab0f36
parent 14003 740788f3f6b7
permissions -rw-r--r--
eliminated old CVS Ids;
kleing@14003
     1
kleing@14003
     2
## targets
kleing@14003
     3
kleing@14003
     4
default: dvi
kleing@14003
     5
kleing@14003
     6
## dependencies
kleing@14003
     7
kleing@14003
     8
dvi:
kleing@14003
     9
	cd Isar/document; make dvi
kleing@14003
    10
kleing@14003
    11
pdf:
kleing@14003
    12
	cd Isar/document; make pdf
kleing@14003
    13
kleing@14003
    14
clean:
kleing@14003
    15
	cd Isar/document; make clean
kleing@14003
    16
kleing@14003
    17
mrproper:
kleing@14003
    18
	rm -f *.pdf *.dvi
kleing@14003
    19
	cd Isar/document; make mrproper