--- a/IsaMakefile Tue Jan 24 14:05:24 2012 +0000
+++ b/IsaMakefile Tue Jan 24 14:29:07 2012 +0000
@@ -1,10 +1,10 @@
## targets
-default: tests
+default: session
images:
-all: tests esop pearl pearl-jv qpaper slides
+all: tests esop pearl pearl-jv qpaper slides lmcs
## global settings
@@ -196,7 +196,7 @@
cp Slides/generated9/root.beamer.pdf Slides/slides9.pdf
-slides: slides1 slides2 slides3 slides4 slides5 slides6 slides7 slides8 slides8
+slides: slides1 slides2 slides3 slides4 slides5 slides6 slides7 slides8 slides8 slides9