| author | lcp |
| Tue, 07 Mar 1995 13:37:48 +0100 | |
| changeset 935 | a94ef3eed456 |
| parent 603 | 62b44d488af6 |
| child 1053 | a19fbe807f91 |
| permissions | -rw-r--r-- |
| 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 \ |
|
10 |
../iman.sty ../extra.sty |
|
11 |
||
12 |
intro.dvi.gz: $(FILES) |
|
13 |
latex209 intro |
|
14 |
bibtex intro |
|
15 |
latex209 intro |
|
16 |
latex209 intro |
|
17 |
../sedindex intro |
|
18 |
latex209 intro |
|
19 |
gzip -f intro.dvi |