doc-src/Nitpick/Makefile
author boehmes
Tue, 07 Dec 2010 15:44:38 +0100
changeset 41064 0c447a17770a
parent 33191 fe3c65d9c577
child 42637 381fdcab0f36
permissions -rw-r--r--
updated SMT certificates
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33191
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     1
#
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     2
# $Id$
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     3
#
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     4
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     5
## targets
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     6
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     7
default: dvi
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     8
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
     9
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    10
## dependencies
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    11
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    12
include ../Makefile.in
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    13
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    14
NAME = nitpick
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    15
FILES = nitpick.tex ../iman.sty ../manual.bib
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    16
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    17
dvi: $(NAME).dvi
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    18
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    19
$(NAME).dvi: $(FILES) isabelle_nitpick.eps
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    20
	$(LATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    21
	$(BIBTEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    22
	$(LATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    23
	$(LATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    24
	$(SEDINDEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    25
	$(LATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    26
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    27
pdf: $(NAME).pdf
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    28
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    29
$(NAME).pdf: $(FILES) isabelle_nitpick.pdf
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    30
	$(PDFLATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    31
	$(BIBTEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    32
	$(PDFLATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    33
	$(PDFLATEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    34
	$(SEDINDEX) $(NAME)
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    35
	$(FIXBOOKMARKS) $(NAME).out
fe3c65d9c577 Added Nitpick manual.
blanchet
parents:
diff changeset
    36
	$(PDFLATEX) $(NAME)