| author | Walther Neuper <neuper@ist.tugraz.at> |
| Thu, 12 Aug 2010 15:03:34 +0200 | |
| branch | isac-from-Isabelle2009-2 |
| changeset 37913 | 20e3616b2d9c |
| parent 9695 | ec7d7f877712 |
| child 43508 | 381fdcab0f36 |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = ind-defs
15 FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
17 dvi: $(NAME).dvi
19 $(NAME).dvi: $(FILES)
20 $(LATEX) $(NAME)
21 $(BIBTEX) $(NAME)
22 $(LATEX) $(NAME)
23 $(LATEX) $(NAME)
25 pdf: $(NAME).pdf
27 $(NAME).pdf: $(FILES)
28 $(PDFLATEX) $(NAME)
29 $(BIBTEX) $(NAME)
30 $(PDFLATEX) $(NAME)
31 $(PDFLATEX) $(NAME)
32 $(FIXBOOKMARKS) $(NAME).out
33 $(PDFLATEX) $(NAME)