doc-src/Makefile.in
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 36918 90bb12cf8e36
child 43500 f61ac1573ee6
permissions -rw-r--r--
prepare reactivation of isac-update-Isa09-2
wenzelm@6593
     1
#
wenzelm@6593
     2
# $Id$
wenzelm@6593
     3
#
wenzelm@6593
     4
# Common part for Doc Makefiles
wenzelm@6593
     5
#
wenzelm@6593
     6
wenzelm@6593
     7
## settings
wenzelm@6593
     8
wenzelm@6593
     9
LATEX = latex
wenzelm@6612
    10
PDFLATEX = pdflatex
wenzelm@6593
    11
BIBTEX = bibtex
wenzelm@7071
    12
RAIL = rail -a
wenzelm@6593
    13
SEDINDEX = ../sedindex
wenzelm@6612
    14
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
wenzelm@6593
    15
wenzelm@28954
    16
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out *.lof
wenzelm@10604
    17
DEFAULT_OUTPUT = *.dvi *.pdf *.ps
wenzelm@10604
    18
GARBAGE =
wenzelm@10604
    19
OUTPUT =
wenzelm@6593
    20
gagern@15646
    21
## special targets
gagern@15646
    22
gagern@15646
    23
.DELETE_ON_ERROR:
wenzelm@6593
    24
wenzelm@6593
    25
## actions
wenzelm@6593
    26
wenzelm@6593
    27
nothing:
wenzelm@6593
    28
wenzelm@6593
    29
clean:
wenzelm@10604
    30
	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
wenzelm@6593
    31
wenzelm@6604
    32
mrproper:
wenzelm@10604
    33
	@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
wenzelm@6593
    34
wenzelm@7042
    35
wenzelm@6593
    36
isabelle.eps:
wenzelm@6612
    37
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
wenzelm@6593
    38
wenzelm@7042
    39
isabelle_isar.eps:
wenzelm@7042
    40
	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
wenzelm@7042
    41
wenzelm@6593
    42
isabelle_hol.eps:
wenzelm@6612
    43
	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
wenzelm@6593
    44
wenzelm@6593
    45
isabelle_zf.eps:
wenzelm@6612
    46
	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
wenzelm@6612
    47
blanchet@33191
    48
isabelle_nitpick.eps:
blanchet@33191
    49
	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
blanchet@33191
    50
blanchet@36918
    51
isabelle_sledgehammer.eps:
blanchet@36918
    52
	test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
blanchet@36918
    53
wenzelm@7042
    54
wenzelm@6617
    55
isabelle.pdf:
wenzelm@6617
    56
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
wenzelm@6612
    57
wenzelm@7042
    58
isabelle_isar.pdf:
wenzelm@7042
    59
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
wenzelm@7042
    60
wenzelm@6617
    61
isabelle_hol.pdf:
wenzelm@6617
    62
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612
    63
wenzelm@6617
    64
isabelle_zf.pdf:
wenzelm@6617
    65
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
wenzelm@12677
    66
blanchet@33191
    67
isabelle_nitpick.pdf:
blanchet@33191
    68
	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
blanchet@33191
    69
blanchet@36918
    70
isabelle_sledgehammer.pdf:
blanchet@36918
    71
	test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
blanchet@36918
    72
wenzelm@12677
    73
typedef.ps:
wenzelm@12677
    74
	test -r typedef.ps || ln -s ../gfx/typedef.ps .
wenzelm@12677
    75
wenzelm@12677
    76
typedef.pdf:
wenzelm@12677
    77
	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .