1 

     2 ## targets

     3 

     4 default: slides

     5 all: slides 

     6 

     7 ## global settings

     8 

     9 SRC = $(ISABELLE_HOME)/src

    10 OUT = $(ISABELLE_OUTPUT)

    11 LOG = $(OUT)/log

    12 

    13 

    14 USEDIR = $(ISABELLE_TOOL) usedir -v true -t true 

    15 ## Slides

    16 

    17 session1: Slides/ROOT1.ML \

    18          Slides/document/root* \

    19          Slides/Slides1.thy

    20 	@$(USEDIR) -D generated1 -f ROOT1.ML HOL Slides

    21 

    22 slides1: session1 

    23 	rm -f Slides/generated1/*.aux # otherwise latex will fall over

    24 	cd Slides/generated1 ; $(ISABELLE_TOOL) latex -o pdf root.beamer.tex 

    25 	cp Slides/generated1/root.beamer.pdf Slides/slides.pdf     

    26 

    27 slides: slides1 

    28 

    29 

    30 ## clean

    31 

    32 clean:

    33 	rm -rf Slides/generated1/*