|
603
|
1 |
# $Id$
|
|
|
2 |
#########################################################################
|
|
|
3 |
# #
|
|
|
4 |
# Makefile for the report "Introduction to Isabelle" #
|
|
|
5 |
# #
|
|
|
6 |
#########################################################################
|
|
|
7 |
|
|
|
8 |
|
|
|
9 |
FILES = intro.tex foundations.tex getting.tex advanced.tex \
|
|
2656
|
10 |
../proof209.sty ../iman.sty ../extra.sty
|
|
603
|
11 |
|
|
2656
|
12 |
intro.dvi: $(FILES)
|
|
|
13 |
-rm intro.dvi*
|
|
603
|
14 |
latex209 intro
|
|
2656
|
15 |
-test -f string.bib && bibtex intro
|
|
603
|
16 |
latex209 intro
|
|
|
17 |
latex209 intro
|
|
|
18 |
../sedindex intro
|
|
|
19 |
latex209 intro
|
|
2656
|
20 |
|
|
|
21 |
intro.dvi.gz: intro.dvi
|
|
603
|
22 |
gzip -f intro.dvi
|