isabelle: doc-src/Makefile@69def2a31fad (annotated)

602 9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	1	# $Id$
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	2	#########################################################################
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	3	# #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	4	# Makefile for the report "A Fixedpoint Approach ..." #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	5	# #
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	6	#########################################################################
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	7
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	8
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	9	FILES = ind-defs.tex iman.sty extra.sty
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	10
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	11	ind-defs.dvi.gz: $(FILES)
1053 a19fbe807f91 Removes (obsolete) target if already present. lcp parents: 602 diff changeset	12	-rm ind-defs.dvi.gz
602 9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	13	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	14	bibtex ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	15	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	16	latex209 ind-defs
9cb1fa628dbb New Makefile for ind-defs lcp parents: diff changeset	17	gzip -f ind-defs.dvi

author	paulson
	Tue, 15 Apr 1997 10:19:14 +0200
changeset 2951	69def2a31fad
parent 1053	a19fbe807f91
permissions	-rw-r--r--