doc-src/Exercises/2000/Makefile
author kleing
Sat, 01 Mar 2003 16:45:51 +0100
changeset 13840 399c8103a98f
permissions -rw-r--r--
keep a copy of generated files in repository

#
# $Id$
#
# IsaMakefile for PSV2000
#

SESSIONS = a1

## targets

default: sessions 
sessions: $(SESSIONS)


## a1

a1: a1/generated/session.tex

a1/generated/session.tex: a1/ROOT.ML a1/*.thy 
	isatool make