isabelle: doc-src/IsarOverview/Makefile@8e739a6eaf11 (annotated)

14003 740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	1	#
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	2	# $Id$
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	3	#
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	4
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	5	## targets
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	6
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	7	default: dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	8
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	9	## dependencies
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	10
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	11	dvi:
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	12	cd Isar/document; make dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	13
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	14	pdf:
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	15	cd Isar/document; make pdf
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	16
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	17	clean:
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	18	cd Isar/document; make clean
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	19
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	20	mrproper:
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	21	rm -f .pdf .dvi
740788f3f6b7 makefiles for latex runs kleing parents: diff changeset	22	cd Isar/document; make mrproper

author	obua
	Sun, 09 May 2004 23:04:36 +0200
changeset 14722	8e739a6eaf11
parent 14003	740788f3f6b7
child 42637	381fdcab0f36
permissions	-rw-r--r--