doc-src/IsarOverview/Makefile
author huffman
Wed, 22 Aug 2007 01:42:35 +0200
changeset 24396 c1e20c65a3be
parent 14003 740788f3f6b7
child 42637 381fdcab0f36
permissions -rw-r--r--
move bool list stuff from BinOperations to BinBoolList; reorganize BinBoolList into subsections

#
# $Id$
#

## targets

default: dvi

## dependencies

dvi:
	cd Isar/document; make dvi

pdf:
	cd Isar/document; make pdf

clean:
	cd Isar/document; make clean

mrproper:
	rm -f *.pdf *.dvi
	cd Isar/document; make mrproper