--- a/doc-src/Exercises/2001/Makefile Fri Apr 29 18:13:28 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,42 +0,0 @@
-#
-# $Id$
-#
-# IsaMakefile for PSV2001
-#
-
-SESSIONS = a1 a2 a3 a5
-
-## targets
-
-default: sessions
-sessions: $(SESSIONS)
-
-
-## a1
-
-a1: a1/generated/session.tex
-
-a1/generated/session.tex: a1/ROOT.ML a1/*.thy
- isatool make
-
-## a2
-
-a2: a2/generated/session.tex
-
-a2/generated/session.tex: a2/ROOT.ML a2/*.thy
- isatool make
-
-## a3
-
-a3: a3/generated/session.tex
-
-a3/generated/session.tex: a3/ROOT.ML a3/*.thy
- isatool make
-
-## a5
-
-a5: a5/generated/session.tex
-
-a5/generated/session.tex: a5/ROOT.ML a5/*.thy
- isatool make
-