author | wenzelm |
Mon, 08 May 2000 11:13:28 +0200 | |
changeset 8828 | 5be2d1745c61 |
parent 6668 | fb098775306c |
child 9695 | ec7d7f877712 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = intro
15 FILES = intro.tex foundations.tex getting.tex advanced.tex \
16 ../proof.sty ../iman.sty ../extra.sty ../manual.bib
18 dvi: $(NAME).dvi
20 $(NAME).dvi: $(FILES) isabelle.eps
21 $(LATEX) $(NAME)
22 $(BIBTEX) $(NAME)
23 $(LATEX) $(NAME)
24 $(LATEX) $(NAME)
25 $(SEDINDEX) $(NAME)
26 $(LATEX) $(NAME)
28 pdf: $(NAME).pdf
30 $(NAME).pdf: $(FILES) isabelle.pdf
31 $(PDFLATEX) $(NAME)
32 $(BIBTEX) $(NAME)
33 $(PDFLATEX) $(NAME)
34 $(PDFLATEX) $(NAME)
35 $(SEDINDEX) $(NAME)
36 $(FIXBOOKMARKS) $(NAME).out
37 $(PDFLATEX) $(NAME)