isabelle: doc-src/Makefile@14539397fc04 (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
	Fri, 13 Dec 1996 10:20:55 +0100
changeset 2375	14539397fc04
parent 1053	a19fbe807f91
permissions	-rw-r--r--