IsaMakefile
changeset 3111 60c4c93b30d5
parent 3110 62e1d888aacc
child 3112 e4050732ba15
--- 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