doc-src/Intro/Makefile
author wenzelm
Thu, 17 Jul 1997 15:03:38 +0200
changeset 3524 c02cb15830de
parent 3164 ddb0b1fdfdea
child 5170 33fbffd06c12
permissions -rw-r--r--
fixed EqI meta rule;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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