isabelle: doc-src/Intro/Makefile@824e18a114c9 (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 \
2656 71097a167f0b made a bit more robust; wenzelm parents: 1053 diff changeset	10	../proof209.sty ../iman.sty ../extra.sty
603 62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	11
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	12	intro.dvi.gz: $(FILES)
2656 71097a167f0b made a bit more robust; wenzelm parents: 1053 diff changeset	13	-rm intro.dvi*
603 62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	14	latex209 intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	15	bibtex intro
603 62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	16	latex209 intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	17	latex209 intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	18	../sedindex intro
62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	19	latex209 intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	20	gzip -f intro.dvi
2656 71097a167f0b made a bit more robust; wenzelm parents: 1053 diff changeset	21
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	22	dist: $(FILES)
3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	23	-rm intro.dvi*
3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	24	latex209 intro
3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	25	latex209 intro
3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	26	../sedindex intro
3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	27	latex209 intro

author	paulson
	Fri, 18 Apr 1997 11:52:44 +0200
changeset 2985	824e18a114c9
parent 2663	3ca200d880f4
child 3096	ccc2c92bb232
permissions	-rw-r--r--