isabelle: doc-src/Intro/Makefile@62b44d488af6 (annotated)

603 62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	1	# $Id$
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	2	#########################################################################
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	3	# #
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	4	# Makefile for the report "Introduction to Isabelle" #
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	5	# #
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	6	#########################################################################
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	7
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	8
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	9	FILES = intro.tex foundations.tex getting.tex advanced.tex \
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	10	../iman.sty ../extra.sty
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	11
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	12	intro.dvi.gz: $(FILES)
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	13	latex209 intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	14	bibtex intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	15	latex209 intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	16	latex209 intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	17	../sedindex intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	18	latex209 intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	19	gzip -f intro.dvi

author	lcp
	Mon, 12 Sep 1994 13:01:38 +0200
changeset 603	62b44d488af6
child 1053	a19fbe807f91
permissions	-rw-r--r--