doc-src/Makefile.in
author wenzelm
Wed May 05 18:16:03 1999 +0200 (1999-05-05)
changeset 6596 d44dd0b564c4
parent 6593 62204772812f
child 6604 d646567156c3
permissions -rw-r--r--
tuned;
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@6593
    10
BIBTEX = bibtex
wenzelm@6593
    11
RAIL = rail
wenzelm@6593
    12
SEDINDEX = ../sedindex
wenzelm@6593
    13
wenzelm@6596
    14
GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg
wenzelm@6593
    15
OUTPUT = *.dvi *.pdf *.ps
wenzelm@6593
    16
wenzelm@6593
    17
wenzelm@6593
    18
## actions
wenzelm@6593
    19
wenzelm@6593
    20
nothing:
wenzelm@6593
    21
wenzelm@6593
    22
clean:
wenzelm@6593
    23
	@rm -f $(GARBAGE)
wenzelm@6593
    24
wenzelm@6593
    25
veryclean:
wenzelm@6593
    26
	@rm -f $(OUTPUT) $(GARBAGE)
wenzelm@6593
    27
wenzelm@6593
    28
isabelle.eps:
wenzelm@6593
    29
	test -r $* || ln -s ../gfx/$* .
wenzelm@6593
    30
wenzelm@6593
    31
isabelle_hol.eps:
wenzelm@6593
    32
	test -r $* || ln -s ../gfx/$* .
wenzelm@6593
    33
wenzelm@6593
    34
isabelle_zf.eps:
wenzelm@6593
    35
	test -r $* || ln -s ../gfx/$* .