604

1 
# $Id$


2 
#########################################################################


3 
# #


4 
# Makefile for the report "The Isabelle Reference Manual" #


5 
# #


6 
#########################################################################


7 


8 


9 
FILES = ref.tex introduction.tex goals.tex tactic.tex tctical.tex\


10 
thm.tex theories.tex defining.tex syntax.tex substitution.tex\

1111

11 
simplifier.tex classical.tex theorysyntax.tex\

3098

12 
../rail.sty ../proof.sty ../iman.sty ../extra.sty

604

13 


14 
ref.dvi.gz: $(FILES)

5548

15 
test r isabelle.eps  ln s ../gfx/isabelle.eps .


16 
rm ref.dvi*

3098

17 
latex ref

1111

18 
rail ref

604

19 
bibtex ref

3098

20 
latex ref


21 
latex ref

604

22 
../sedindex ref

3098

23 
latex ref

604

24 
gzip f ref.dvi

2657

25 


26 
dist: $(FILES)

5548

27 
test f isabelle.eps  ln s ../gfx/isabelle.eps .

5543

28 
rm f ref.dvi*

3098

29 
latex ref


30 
latex ref

2657

31 
../sedindex ref

3098

32 
latex ref

3164

33 


34 
clean:


35 
@rm *.aux *.log *.toc *.idx *.rai
