doc-src/Makefile.in
author wenzelm
Mon May 08 11:03:53 2000 +0200 (2000-05-08)
changeset 8826 d7ad3ca77685
parent 7071 55b80ec1927d
child 10604 9bb2e34df0cd
permissions -rw-r--r--
tuned GARBAGE;
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@8826
    16
GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
wenzelm@6593
    17
OUTPUT = *.dvi *.pdf *.ps
wenzelm@6593
    18
wenzelm@6593
    19
wenzelm@6593
    20
## actions
wenzelm@6593
    21
wenzelm@6593
    22
nothing:
wenzelm@6593
    23
wenzelm@6593
    24
clean:
wenzelm@6593
    25
	@rm -f $(GARBAGE)
wenzelm@6593
    26
wenzelm@6604
    27
mrproper:
wenzelm@6593
    28
	@rm -f $(OUTPUT) $(GARBAGE)
wenzelm@6593
    29
wenzelm@7042
    30
wenzelm@6593
    31
isabelle.eps:
wenzelm@6612
    32
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
wenzelm@6593
    33
wenzelm@7042
    34
isabelle_isar.eps:
wenzelm@7042
    35
	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
wenzelm@7042
    36
wenzelm@6593
    37
isabelle_hol.eps:
wenzelm@6612
    38
	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
wenzelm@6593
    39
wenzelm@6593
    40
isabelle_zf.eps:
wenzelm@6612
    41
	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
wenzelm@6612
    42
wenzelm@7042
    43
wenzelm@6617
    44
isabelle.pdf:
wenzelm@6617
    45
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
wenzelm@6612
    46
wenzelm@7042
    47
isabelle_isar.pdf:
wenzelm@7042
    48
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
wenzelm@7042
    49
wenzelm@6617
    50
isabelle_hol.pdf:
wenzelm@6617
    51
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
wenzelm@6612
    52
wenzelm@6617
    53
isabelle_zf.pdf:
wenzelm@6617
    54
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .