doc-src/Makefile.in
author haftmann
Mon, 05 Jul 2010 15:12:20 +0200
changeset 37715 44b27ea94a16
parent 36926 90bb12cf8e36
child 42629 f61ac1573ee6
permissions -rw-r--r--
tuned proof
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     1
#
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     2
# $Id$
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     3
#
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     4
# Common part for Doc Makefiles
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     5
#
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     6
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     7
## settings
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     8
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     9
LATEX = latex
6612
wenzelm
parents: 6604
diff changeset
    10
PDFLATEX = pdflatex
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    11
BIBTEX = bibtex
7071
55b80ec1927d rail -a;
wenzelm
parents: 7042
diff changeset
    12
RAIL = rail -a
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    13
SEDINDEX = ../sedindex
6612
wenzelm
parents: 6604
diff changeset
    14
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    15
28954
0811c7419c32 remove *.lof as well;
wenzelm
parents: 15646
diff changeset
    16
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
10604
wenzelm
parents: 8826
diff changeset
    17
DEFAULT_OUTPUT = *.dvi *.pdf *.ps
wenzelm
parents: 8826
diff changeset
    18
GARBAGE =
wenzelm
parents: 8826
diff changeset
    19
OUTPUT =
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    20
15646
b45393fb38c0 bring make to delete files on error
gagern
parents: 12677
diff changeset
    21
## special targets
b45393fb38c0 bring make to delete files on error
gagern
parents: 12677
diff changeset
    22
b45393fb38c0 bring make to delete files on error
gagern
parents: 12677
diff changeset
    23
.DELETE_ON_ERROR:
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    24
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    25
## actions
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    26
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    27
nothing:
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    28
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    29
clean:
10604
wenzelm
parents: 8826
diff changeset
    30
	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    31
6604
wenzelm
parents: 6596
diff changeset
    32
mrproper:
10604
wenzelm
parents: 8826
diff changeset
    33
	@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    34
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    35
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    36
isabelle.eps:
6612
wenzelm
parents: 6604
diff changeset
    37
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    38
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    39
isabelle_isar.eps:
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    40
	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    41
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    42
isabelle_hol.eps:
6612
wenzelm
parents: 6604
diff changeset
    43
	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    44
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    45
isabelle_zf.eps:
6612
wenzelm
parents: 6604
diff changeset
    46
	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
wenzelm
parents: 6604
diff changeset
    47
33191
fe3c65d9c577 Added Nitpick manual.
blanchet
parents: 28954
diff changeset
    48
isabelle_nitpick.eps:
fe3c65d9c577 Added Nitpick manual.
blanchet
parents: 28954
diff changeset
    49
	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
fe3c65d9c577 Added Nitpick manual.
blanchet
parents: 28954
diff changeset
    50
36926
90bb12cf8e36 added Sledgehammer manual;
blanchet
parents: 33191
diff changeset
    51
isabelle_sledgehammer.eps:
90bb12cf8e36 added Sledgehammer manual;
blanchet
parents: 33191
diff changeset
    52
	test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
90bb12cf8e36 added Sledgehammer manual;
blanchet
parents: 33191
diff changeset
    53
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    54
6617
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    55
isabelle.pdf:
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    56
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
6612
wenzelm
parents: 6604
diff changeset
    57
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    58
isabelle_isar.pdf:
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    59
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    60
6617
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    61
isabelle_hol.pdf:
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    62
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
6612
wenzelm
parents: 6604
diff changeset
    63
6617
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    64
isabelle_zf.pdf:
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    65
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
12677
73c070d5c031 dependencies for "typedef" image;
wenzelm
parents: 10604
diff changeset
    66
33191
fe3c65d9c577 Added Nitpick manual.
blanchet
parents: 28954
diff changeset
    67
isabelle_nitpick.pdf:
fe3c65d9c577 Added Nitpick manual.
blanchet
parents: 28954
diff changeset
    68
	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
fe3c65d9c577 Added Nitpick manual.
blanchet
parents: 28954
diff changeset
    69
36926
90bb12cf8e36 added Sledgehammer manual;
blanchet
parents: 33191
diff changeset
    70
isabelle_sledgehammer.pdf:
90bb12cf8e36 added Sledgehammer manual;
blanchet
parents: 33191
diff changeset
    71
	test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
90bb12cf8e36 added Sledgehammer manual;
blanchet
parents: 33191
diff changeset
    72
12677
73c070d5c031 dependencies for "typedef" image;
wenzelm
parents: 10604
diff changeset
    73
typedef.ps:
73c070d5c031 dependencies for "typedef" image;
wenzelm
parents: 10604
diff changeset
    74
	test -r typedef.ps || ln -s ../gfx/typedef.ps .
73c070d5c031 dependencies for "typedef" image;
wenzelm
parents: 10604
diff changeset
    75
73c070d5c031 dependencies for "typedef" image;
wenzelm
parents: 10604
diff changeset
    76
typedef.pdf:
73c070d5c031 dependencies for "typedef" image;
wenzelm
parents: 10604
diff changeset
    77
	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .