author | wenzelm |
Wed, 05 May 1999 18:35:41 +0200 | |
changeset 6600 | 5a94bd71cc41 |
parent 5548 | 5cd3396802f5 |
child 6602 | c5e32a3d7e12 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
8 dist: dvi
11 ## dependencies
13 include ../Makefile.in
15 NAME = tutorial
16 FILES = tutorial.tex basics.tex fp.tex appendix.tex \
17 ../iman.sty ttbox.sty extra.sty
19 dvi: $(NAME).dvi
21 $(NAME).dvi: $(FILES) isabelle_hol.eps
22 touch $(NAME).ind
23 $(LATEX) $(NAME)
24 $(RAIL) $(NAME)
25 $(BIBTEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(LATEX) $(NAME)
28 $(SEDINDEX) $(NAME)
29 $(LATEX) $(NAME)