13840
|
1 |
#
|
|
2 |
# $Id$
|
|
3 |
#
|
|
4 |
# IsaMakefile for PSV2000
|
|
5 |
#
|
|
6 |
|
|
7 |
SESSIONS = a1
|
|
8 |
|
|
9 |
## targets
|
|
10 |
|
|
11 |
default: sessions
|
|
12 |
sessions: $(SESSIONS)
|
|
13 |
|
|
14 |
|
|
15 |
## a1
|
|
16 |
|
|
17 |
a1: a1/generated/session.tex
|
|
18 |
|
|
19 |
a1/generated/session.tex: a1/ROOT.ML a1/*.thy
|
|
20 |
isatool make
|