doc-src/Makefile.in
author wenzelm
Sat, 01 Jul 2000 19:49:20 +0200
changeset 9226 cbe6144f0f15
parent 8826 d7ad3ca77685
child 10604 9bb2e34df0cd
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     1
#
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     2
# $Id$
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     3
#
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     4
# Common part for Doc Makefiles
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     5
#
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     6
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     7
## settings
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     8
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
     9
LATEX = latex
6612
wenzelm
parents: 6604
diff changeset
    10
PDFLATEX = pdflatex
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    11
BIBTEX = bibtex
7071
55b80ec1927d rail -a;
wenzelm
parents: 7042
diff changeset
    12
RAIL = rail -a
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    13
SEDINDEX = ../sedindex
6612
wenzelm
parents: 6604
diff changeset
    14
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    15
8826
d7ad3ca77685 tuned GARBAGE;
wenzelm
parents: 7071
diff changeset
    16
GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    17
OUTPUT = *.dvi *.pdf *.ps
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    18
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    19
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    20
## actions
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    21
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    22
nothing:
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    23
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    24
clean:
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    25
	@rm -f $(GARBAGE)
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    26
6604
wenzelm
parents: 6596
diff changeset
    27
mrproper:
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    28
	@rm -f $(OUTPUT) $(GARBAGE)
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    29
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    30
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    31
isabelle.eps:
6612
wenzelm
parents: 6604
diff changeset
    32
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    33
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    34
isabelle_isar.eps:
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    35
	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.eps .
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    36
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    37
isabelle_hol.eps:
6612
wenzelm
parents: 6604
diff changeset
    38
	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .
6593
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    39
62204772812f Common part for Doc Makefiles;
wenzelm
parents:
diff changeset
    40
isabelle_zf.eps:
6612
wenzelm
parents: 6604
diff changeset
    41
	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
wenzelm
parents: 6604
diff changeset
    42
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    43
6617
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    44
isabelle.pdf:
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    45
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
6612
wenzelm
parents: 6604
diff changeset
    46
7042
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    47
isabelle_isar.pdf:
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    48
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.pdf .
94ef4859c6da added isabelle_isar logo;
wenzelm
parents: 6617
diff changeset
    49
6617
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    50
isabelle_hol.pdf:
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    51
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
6612
wenzelm
parents: 6604
diff changeset
    52
6617
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    53
isabelle_zf.pdf:
2d56911d7329 replaced png by pdf;
wenzelm
parents: 6612
diff changeset
    54
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .