author | wenzelm |
Thu, 06 May 1999 19:04:20 +0200 | |
changeset 6611 | 08dfd050b373 |
parent 6599 | dc5bf3f40ad3 |
child 6617 | 2d56911d7329 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
8 dist: dvi
11 ## dependencies
13 include ../Makefile.in
15 NAME = intro
16 FILES = intro.tex foundations.tex getting.tex advanced.tex \
17 ../proof.sty ../iman.sty ../extra.sty
19 dvi: $(NAME).dvi
21 $(NAME).dvi: $(FILES) isabelle.eps
22 touch $(NAME).ind
23 $(LATEX) $(NAME)
24 $(BIBTEX) $(NAME)
25 $(LATEX) $(NAME)
26 $(LATEX) $(NAME)
27 $(SEDINDEX) $(NAME)
28 $(LATEX) $(NAME)
31 pdf: $(NAME).pdf
33 $(NAME).pdf: $(FILES) isabelle.png
34 touch $(NAME).ind
35 $(PDFLATEX) $(NAME)
36 $(BIBTEX) $(NAME)
37 $(PDFLATEX) $(NAME)
38 $(PDFLATEX) $(NAME)
39 $(SEDINDEX) $(NAME)
40 $(FIXBOOKMARKS) $(NAME).out
41 $(PDFLATEX) $(NAME)