## targets

default: slides
all: slides 

## global settings

SRC = $(ISABELLE_HOME)/src
OUT = $(ISABELLE_OUTPUT)
LOG = $(OUT)/log


USEDIR = $(ISABELLE_TOOL) usedir -v true -t true 
## Slides

session1: Slides/ROOT1.ML \
         Slides/document/root* \
         Slides/Slides1.thy
	@$(USEDIR) -D generated1 -f ROOT1.ML HOL Slides

slides1: session1 
	rm -f Slides/generated1/*.aux # otherwise latex will fall over
	cd Slides/generated1 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex 
	cp Slides/generated1/root.beamer.pdf Slides/slides.pdf     

slides: slides1 


## clean

clean:
	rm -rf Slides/generated1/*