doc-src/IsarOverview/Makefile
author haftmann
Tue Sep 19 15:31:32 2006 +0200 (2006-09-19)
changeset 20607 926a76a84e97
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
Operational Equality
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