isabelle: doc-src/Inductive/Makefile@80818995eb76 (annotated)

3162 78fa85d44e68 moved here from .. wenzelm parents: diff changeset	1	# $Id$
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	2	#########################################################################
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	3	# #
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	4	# Makefile for the report "A Fixedpoint Approach ..." #
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	5	# #
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	6	#########################################################################
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	7
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	8
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	9	FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	10
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	11	ind-defs.dvi.gz: $(FILES)
78fa85d44e68 moved here from .. wenzelm parents: diff changeset	12	-rm ind-defs.dvi.gz
3165 80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	13	latex ind-defs
3162 78fa85d44e68 moved here from .. wenzelm parents: diff changeset	14	bibtex ind-defs
3165 80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	15	latex ind-defs
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	16	latex ind-defs
3162 78fa85d44e68 moved here from .. wenzelm parents: diff changeset	17	gzip -f ind-defs.dvi
3165 80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	18
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	19	dist: $(FILES)
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	20	-rm ind-defs.dvi*
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	21	latex ind-defs
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	22	latex ind-defs
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	23
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	24	clean:
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	25	@rm .aux .log *.toc
80818995eb76 'dist', 'clean'; wenzelm parents: 3162 diff changeset	26

author	wenzelm
	Mon, 12 May 1997 17:24:29 +0200
changeset 3165	80818995eb76
parent 3162	78fa85d44e68
child 6629	6edc66a9d80b
permissions	-rw-r--r--