doc-src/Inductive/Makefile
author haftmann
Fri Dec 29 12:11:04 2006 +0100 (2006-12-29)
changeset 21927 9677abe5d374
parent 9695 ec7d7f877712
child 42637 381fdcab0f36
permissions -rw-r--r--
added handling for explicit classrel witnesses
wenzelm@6637
     1
#
wenzelm@6637
     2
# $Id$
wenzelm@6637
     3
#
wenzelm@6637
     4
wenzelm@6637
     5
## targets
wenzelm@6637
     6
wenzelm@6637
     7
default: dvi
wenzelm@3162
     8
wenzelm@6637
     9
wenzelm@6637
    10
## dependencies
wenzelm@6629
    11
wenzelm@6637
    12
include ../Makefile.in
wenzelm@3162
    13
wenzelm@6637
    14
NAME = ind-defs
wenzelm@9695
    15
FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
wenzelm@3162
    16
wenzelm@6637
    17
dvi: $(NAME).dvi
wenzelm@6637
    18
wenzelm@6637
    19
$(NAME).dvi: $(FILES)
wenzelm@6637
    20
	$(LATEX) $(NAME)
wenzelm@6637
    21
	$(BIBTEX) $(NAME)
wenzelm@6637
    22
	$(LATEX) $(NAME)
wenzelm@6637
    23
	$(LATEX) $(NAME)
wenzelm@3165
    24
wenzelm@6637
    25
pdf: $(NAME).pdf
wenzelm@3165
    26
wenzelm@6637
    27
$(NAME).pdf: $(FILES)
wenzelm@6637
    28
	$(PDFLATEX) $(NAME)
wenzelm@6637
    29
	$(BIBTEX) $(NAME)
wenzelm@6637
    30
	$(PDFLATEX) $(NAME)
wenzelm@6637
    31
	$(PDFLATEX) $(NAME)
wenzelm@6637
    32
	$(FIXBOOKMARKS) $(NAME).out
wenzelm@6637
    33
	$(PDFLATEX) $(NAME)