doc-src/Exercises/2000/Makefile
changeset 13840 399c8103a98f
equal deleted inserted replaced
13839:e1240620f1b5 13840:399c8103a98f
       
     1 #
       
     2 # $Id$
       
     3 #
       
     4 # IsaMakefile for PSV2000
       
     5 #
       
     6 
       
     7 SESSIONS = a1
       
     8 
       
     9 ## targets
       
    10 
       
    11 default: sessions 
       
    12 sessions: $(SESSIONS)
       
    13 
       
    14 
       
    15 ## a1
       
    16 
       
    17 a1: a1/generated/session.tex
       
    18 
       
    19 a1/generated/session.tex: a1/ROOT.ML a1/*.thy 
       
    20 	isatool make