doc-src/Nitpick/Makefile
author wenzelm
Fri Aug 12 22:10:49 2011 +0200 (2011-08-12)
changeset 44163 32e0c150c010
parent 42637 381fdcab0f36
permissions -rw-r--r--
normalized theory dependencies wrt. file_store;
blanchet@33191
     1
blanchet@33191
     2
## targets
blanchet@33191
     3
blanchet@33191
     4
default: dvi
blanchet@33191
     5
blanchet@33191
     6
blanchet@33191
     7
## dependencies
blanchet@33191
     8
blanchet@33191
     9
include ../Makefile.in
blanchet@33191
    10
blanchet@33191
    11
NAME = nitpick
blanchet@33191
    12
FILES = nitpick.tex ../iman.sty ../manual.bib
blanchet@33191
    13
blanchet@33191
    14
dvi: $(NAME).dvi
blanchet@33191
    15
blanchet@33191
    16
$(NAME).dvi: $(FILES) isabelle_nitpick.eps
blanchet@33191
    17
	$(LATEX) $(NAME)
blanchet@33191
    18
	$(BIBTEX) $(NAME)
blanchet@33191
    19
	$(LATEX) $(NAME)
blanchet@33191
    20
	$(LATEX) $(NAME)
blanchet@33191
    21
	$(SEDINDEX) $(NAME)
blanchet@33191
    22
	$(LATEX) $(NAME)
blanchet@33191
    23
blanchet@33191
    24
pdf: $(NAME).pdf
blanchet@33191
    25
blanchet@33191
    26
$(NAME).pdf: $(FILES) isabelle_nitpick.pdf
blanchet@33191
    27
	$(PDFLATEX) $(NAME)
blanchet@33191
    28
	$(BIBTEX) $(NAME)
blanchet@33191
    29
	$(PDFLATEX) $(NAME)
blanchet@33191
    30
	$(PDFLATEX) $(NAME)
blanchet@33191
    31
	$(SEDINDEX) $(NAME)
blanchet@33191
    32
	$(FIXBOOKMARKS) $(NAME).out
blanchet@33191
    33
	$(PDFLATEX) $(NAME)