isabelle: doc-src/Intro/Makefile@2e9314c07146 (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)
5548 5cd3396802f5 workaround for litte bug in our ln command oheimb parents: 5374 diff changeset	13	test -r isabelle.eps \|\| ln -s ../gfx/isabelle.eps .
2656 71097a167f0b made a bit more robust; wenzelm parents: 1053 diff changeset	14	-rm intro.dvi*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	15	latex intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	16	bibtex intro
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	17	latex intro
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	18	latex intro
603 62b44d488af6 New Makefile for Introduction lcp parents: diff changeset	19	../sedindex intro
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	20	latex intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	21	gzip -f intro.dvi
2656 71097a167f0b made a bit more robust; wenzelm parents: 1053 diff changeset	22
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	23	dist: $(FILES)
5548 5cd3396802f5 workaround for litte bug in our ln command oheimb parents: 5374 diff changeset	24	test -r isabelle.eps \|\| ln -s ../gfx/isabelle.eps .
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	25	-rm intro.dvi*
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	26	latex intro
ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	27	latex intro
2663 3ca200d880f4 added dist; wenzelm parents: 2656 diff changeset	28	../sedindex intro
3096 ccc2c92bb232 Updated to LaTeX 2e berghofe parents: 2663 diff changeset	29	latex intro
3164 ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	30
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	31	clean:
ddb0b1fdfdea added 'clean'; wenzelm parents: 3096 diff changeset	32	@rm .aux .log .toc .idx

author	paulson
	Fri, 27 Nov 1998 13:13:22 +0100
changeset 5980	2e9314c07146
parent 5548	5cd3396802f5
child 6599	dc5bf3f40ad3
permissions	-rw-r--r--