doc-src/Makefile.in
author wenzelm
Tue Jul 31 21:19:23 2007 +0200 (2007-07-31)
changeset 24101 bdcefe679ced
parent 15646 b45393fb38c0
child 28954 0811c7419c32
permissions -rw-r--r--
with_charset: setmp_noncritical;
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@10604
    16
DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
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
wenzelm@7042
    48
wenzelm@6617
    49
isabelle.pdf:
wenzelm@6617
    50
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
wenzelm@6612
    51
wenzelm@7042
    52
isabelle_isar.pdf:
wenzelm@7042
    53
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
wenzelm@7042
    54
wenzelm@6617
    55
isabelle_hol.pdf:
wenzelm@6617
    56
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612
    57
wenzelm@6617
    58
isabelle_zf.pdf:
wenzelm@6617
    59
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
wenzelm@12677
    60
wenzelm@12677
    61
typedef.ps:
wenzelm@12677
    62
	test -r typedef.ps || ln -s ../gfx/typedef.ps .
wenzelm@12677
    63
wenzelm@12677
    64
typedef.pdf:
wenzelm@12677
    65
	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .