doc-src/Makefile.in
author wenzelm
Wed Jul 25 12:38:54 2012 +0200 (2012-07-25)
changeset 48497 ba61aceaa18a
parent 42634 79eedd233e03
child 48938 d468d72a458f
permissions -rw-r--r--
some updates on "Building a repository version of Isabelle";
wenzelm@6593
     1
#
wenzelm@6593
     2
# Common part for Doc Makefiles
wenzelm@6593
     3
#
wenzelm@6593
     4
wenzelm@6593
     5
## settings
wenzelm@6593
     6
wenzelm@6593
     7
LATEX = latex
wenzelm@6612
     8
PDFLATEX = pdflatex
wenzelm@6593
     9
BIBTEX = bibtex
wenzelm@6593
    10
SEDINDEX = ../sedindex
wenzelm@6612
    11
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
wenzelm@6593
    12
wenzelm@42634
    13
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.bbl *.ind *.ilg *.blg *.out *.lof
wenzelm@10604
    14
DEFAULT_OUTPUT = *.dvi *.pdf *.ps
wenzelm@10604
    15
GARBAGE =
wenzelm@10604
    16
OUTPUT =
wenzelm@6593
    17
gagern@15646
    18
## special targets
gagern@15646
    19
gagern@15646
    20
.DELETE_ON_ERROR:
wenzelm@6593
    21
wenzelm@6593
    22
## actions
wenzelm@6593
    23
wenzelm@6593
    24
nothing:
wenzelm@6593
    25
wenzelm@6593
    26
clean:
wenzelm@10604
    27
	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)
wenzelm@6593
    28
wenzelm@6604
    29
mrproper:
wenzelm@10604
    30
	@rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT)
wenzelm@6593
    31
wenzelm@7042
    32
wenzelm@6593
    33
isabelle.eps:
wenzelm@6612
    34
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
wenzelm@6593
    35
wenzelm@7042
    36
isabelle_isar.eps:
wenzelm@7042
    37
	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
wenzelm@7042
    38
wenzelm@6593
    39
isabelle_hol.eps:
wenzelm@6612
    40
	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
wenzelm@6593
    41
wenzelm@6593
    42
isabelle_zf.eps:
wenzelm@6612
    43
	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
wenzelm@6612
    44
blanchet@33191
    45
isabelle_nitpick.eps:
blanchet@33191
    46
	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .
blanchet@33191
    47
blanchet@36926
    48
isabelle_sledgehammer.eps:
blanchet@36926
    49
	test -r isabelle_sledgehammer.eps || ln -s ../gfx/isabelle_sledgehammer.eps .
blanchet@36926
    50
wenzelm@7042
    51
wenzelm@6617
    52
isabelle.pdf:
wenzelm@6617
    53
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
wenzelm@6612
    54
wenzelm@7042
    55
isabelle_isar.pdf:
wenzelm@7042
    56
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
wenzelm@7042
    57
wenzelm@6617
    58
isabelle_hol.pdf:
wenzelm@6617
    59
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612
    60
wenzelm@6617
    61
isabelle_zf.pdf:
wenzelm@6617
    62
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
wenzelm@12677
    63
blanchet@33191
    64
isabelle_nitpick.pdf:
blanchet@33191
    65
	test -r isabelle_nitpick.pdf || ln -s ../gfx/isabelle_nitpick.pdf .
blanchet@33191
    66
blanchet@36926
    67
isabelle_sledgehammer.pdf:
blanchet@36926
    68
	test -r isabelle_sledgehammer.pdf || ln -s ../gfx/isabelle_sledgehammer.pdf .
blanchet@36926
    69
wenzelm@12677
    70
typedef.ps:
wenzelm@12677
    71
	test -r typedef.ps || ln -s ../gfx/typedef.ps .
wenzelm@12677
    72
wenzelm@12677
    73
typedef.pdf:
wenzelm@12677
    74
	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .