equal
deleted
inserted
replaced
1 |
1 |
2 ## targets |
2 ## targets |
3 |
3 |
4 default: test |
4 default: tests |
5 images: |
5 images: |
6 |
6 |
7 all: tests paper pearl pearl-jv qpaper |
7 all: tests paper pearl pearl-jv qpaper slides |
8 |
8 |
9 |
9 |
10 ## global settings |
10 ## global settings |
11 |
11 |
12 SRC = $(ISABELLE_HOME)/src |
12 SRC = $(ISABELLE_HOME)/src |
105 rm -f Slides/generated4/*.aux # otherwise latex will fall over |
105 rm -f Slides/generated4/*.aux # otherwise latex will fall over |
106 cd Slides/generated4 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
106 cd Slides/generated4 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
107 cd Slides/generated4 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
107 cd Slides/generated4 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
108 cp Slides/generated4/root.beamer.pdf Slides/slides4.pdf |
108 cp Slides/generated4/root.beamer.pdf Slides/slides4.pdf |
109 |
109 |
110 slides: slides4 |
110 slides: slides1 slides2 slides3 slides4 |
111 |
111 |
112 |
112 |
113 |
113 |
114 |
114 |
115 ## clean |
115 ## clean |