author | blanchet |
Wed, 10 Mar 2010 14:21:01 +0100 | |
changeset 35695 | 80b2c22f8f00 |
parent 33191 | fe3c65d9c577 |
child 43508 | 381fdcab0f36 |
permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
5 ## targets
7 default: dvi
10 ## dependencies
12 include ../Makefile.in
14 NAME = nitpick
15 FILES = nitpick.tex ../iman.sty ../manual.bib
17 dvi: $(NAME).dvi
19 $(NAME).dvi: $(FILES) isabelle_nitpick.eps
20 $(LATEX) $(NAME)
21 $(BIBTEX) $(NAME)
22 $(LATEX) $(NAME)
23 $(LATEX) $(NAME)
24 $(SEDINDEX) $(NAME)
25 $(LATEX) $(NAME)
27 pdf: $(NAME).pdf
29 $(NAME).pdf: $(FILES) isabelle_nitpick.pdf
30 $(PDFLATEX) $(NAME)
31 $(BIBTEX) $(NAME)
32 $(PDFLATEX) $(NAME)
33 $(PDFLATEX) $(NAME)
34 $(SEDINDEX) $(NAME)
35 $(FIXBOOKMARKS) $(NAME).out
36 $(PDFLATEX) $(NAME)