isabelle: doc-src/Intro/Makefile@6e6d99e06d0c (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 \
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	10	../proof.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*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	14	latex intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	15	bibtex intro
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	16	latex intro
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	17	latex intro
603 62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	18	../sedindex intro
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	19	latex 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*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	24	latex intro
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	25	latex intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	26	../sedindex intro
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	27	latex intro
3164 ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	28
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	29	clean:
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	30	@rm .aux .log .toc .idx

author	wenzelm
	Fri, 19 Dec 1997 12:16:32 +0100
changeset 4457	6e6d99e06d0c
parent 3164	ddb0b1fdfdea
child 5170	33fbffd06c12
permissions	-rw-r--r--