doc-src/Inductive/Makefile
author wenzelm
Mon, 28 Aug 2000 13:52:38 +0200
changeset 9695 ec7d7f877712
parent 6668 fb098775306c
child 42637 381fdcab0f36
permissions -rw-r--r--
proper setup of iman.sty/extra.sty/ttbox.sty;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     1
#
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     2
# $Id$
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     3
#
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     4
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     5
## targets
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     6
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     7
default: dvi
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
     8
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
     9
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    10
## dependencies
6629
wenzelm
parents: 3165
diff changeset
    11
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    12
include ../Makefile.in
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    13
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    14
NAME = ind-defs
9695
ec7d7f877712 proper setup of iman.sty/extra.sty/ttbox.sty;
wenzelm
parents: 6668
diff changeset
    15
FILES = ind-defs.tex ../proof.sty ../iman.sty ../extra.sty ../ttbox.sty ../manual.bib
3162
78fa85d44e68 moved here from ..
wenzelm
parents:
diff changeset
    16
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    17
dvi: $(NAME).dvi
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    18
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    19
$(NAME).dvi: $(FILES)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    20
	$(LATEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    21
	$(BIBTEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    22
	$(LATEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    23
	$(LATEX) $(NAME)
3165
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    24
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    25
pdf: $(NAME).pdf
3165
80818995eb76 'dist', 'clean';
wenzelm
parents: 3162
diff changeset
    26
6637
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    27
$(NAME).pdf: $(FILES)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    28
	$(PDFLATEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    29
	$(BIBTEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    30
	$(PDFLATEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    31
	$(PDFLATEX) $(NAME)
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    32
	$(FIXBOOKMARKS) $(NAME).out
57abed64dc14 pdf setup;
wenzelm
parents: 6629
diff changeset
    33
	$(PDFLATEX) $(NAME)