equal
deleted
inserted
replaced
39 rm -f Paper/generated/*.aux # otherwise latex will fall over |
39 rm -f Paper/generated/*.aux # otherwise latex will fall over |
40 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
40 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
41 cd Paper/generated ; bibtex root |
41 cd Paper/generated ; bibtex root |
42 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
42 cd Paper/generated ; $(ISABELLE_TOOL) latex -o pdf root.tex |
43 cp Paper/generated/root.pdf paper.pdf |
43 cp Paper/generated/root.pdf paper.pdf |
|
44 |
|
45 |
|
46 slides: Slides/ROOT1.ML Slides/*.thy |
|
47 @$(USEDIR) -D generated -f ROOT1.ML Prio Slides |
|
48 rm -f Slides/generated/*.aux # otherwise latex will fall over |
|
49 cd Slides/generated ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex |
|
50 cp Slides/generated/root.beamer.pdf Slides/slides.pdf |
|
51 |