# HG changeset patch
# User kleing
# Date 1046533551 -3600
# Node ID 399c8103a98f4822e91978db031857e640b5fd27
# Parent  e1240620f1b5cc9b4573e028582a26ce5d4b47f7
keep a copy of generated files in repository

diff -r e1240620f1b5 -r 399c8103a98f doc-src/Exercises/2000/Makefile
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/Exercises/2000/Makefile	Sat Mar 01 16:45:51 2003 +0100
@@ -0,0 +1,20 @@
+#
+# $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