doc-src/Makefile.in
author wenzelm
Tue Jan 08 20:52:46 2002 +0100 (2002-01-08)
changeset 12677 73c070d5c031
parent 10604 9bb2e34df0cd
child 15646 b45393fb38c0
permissions -rw-r--r--
dependencies for "typedef" image;
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
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
wenzelm@7042
    45
wenzelm@6617
    46
isabelle.pdf:
wenzelm@6617
    47
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
wenzelm@6612
    48
wenzelm@7042
    49
isabelle_isar.pdf:
wenzelm@7042
    50
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
wenzelm@7042
    51
wenzelm@6617
    52
isabelle_hol.pdf:
wenzelm@6617
    53
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612
    54
wenzelm@6617
    55
isabelle_zf.pdf:
wenzelm@6617
    56
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
wenzelm@12677
    57
wenzelm@12677
    58
typedef.ps:
wenzelm@12677
    59
	test -r typedef.ps || ln -s ../gfx/typedef.ps .
wenzelm@12677
    60
wenzelm@12677
    61
typedef.pdf:
wenzelm@12677
    62
	test -r typedef.pdf || ln -s ../gfx/typedef.pdf .