equal
deleted
inserted
replaced
1 # $Id$ |
1 # |
2 ######################################################################### |
2 # $Id$ |
3 # # |
3 # |
4 # Makefile for the report "Introduction to Isabelle" # |
4 |
5 # # |
5 ## targets |
6 ######################################################################### |
6 |
|
7 default: dvi |
|
8 dist: dvi |
7 |
9 |
8 |
10 |
9 FILES = axclass.tex style.tex |
11 ## dependencies |
10 |
12 |
11 axclass.dvi.gz: $(FILES) |
13 include ../Makefile.in |
12 -rm axclass.dvi* |
|
13 latex axclass |
|
14 latex axclass |
|
15 gzip -f axclass.dvi |
|
16 |
14 |
17 dist: $(FILES) |
15 NAME = axclass |
18 -rm axclass.dvi* |
16 FILES = axclass.tex style.tex |
19 latex axclass |
|
20 latex axclass |
|
21 |
17 |
22 clean: |
18 dvi: $(NAME).dvi |
23 @rm *.aux *.log |
19 |
|
20 $(NAME).dvi: $(FILES) |
|
21 $(LATEX) $(NAME) |
|
22 $(LATEX) $(NAME) |