diff -r 62e1d888aacc -r 60c4c93b30d5 IsaMakefile --- 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