doc-src/Exercises/2000/Makefile
author kleing
Mon, 29 Dec 2003 06:49:26 +0100
changeset 14333 14f29eb097a3
parent 13840 399c8103a98f
permissions -rw-r--r--
\<^bsub> .. \<^esub>
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
13840
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     1
#
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     2
# $Id$
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     3
#
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     4
# IsaMakefile for PSV2000
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     5
#
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     6
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     7
SESSIONS = a1
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     8
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
     9
## targets
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    10
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    11
default: sessions 
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    12
sessions: $(SESSIONS)
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    13
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    14
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    15
## a1
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    16
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    17
a1: a1/generated/session.tex
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    18
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    19
a1/generated/session.tex: a1/ROOT.ML a1/*.thy 
399c8103a98f keep a copy of generated files in repository
kleing
parents:
diff changeset
    20
	isatool make