doc-src/Makefile.in
author wenzelm
Thu, 01 Jul 1999 21:19:45 +0200
changeset 6874 747f656e04ec
parent 6617 2d56911d7329
child 7042 94ef4859c6da
permissions -rw-r--r--
renamed with/APP to of/OF;

#
# $Id$
#
# Common part for Doc Makefiles
#

## settings

LATEX = latex
PDFLATEX = pdflatex
BIBTEX = bibtex
RAIL = rail
SEDINDEX = ../sedindex
FIXBOOKMARKS = perl -pi ../fixbookmarks.pl

GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.blg *.out
OUTPUT = *.dvi *.pdf *.ps


## actions

nothing:

clean:
	@rm -f $(GARBAGE)

mrproper:
	@rm -f $(OUTPUT) $(GARBAGE)

isabelle.eps:
	test -r isabelle.eps || ln -s ../gfx/isabelle.eps .

isabelle_hol.eps:
	test -r isabelle_hol.eps || ln -s ../gfx/isabelle_hol.eps .

isabelle_zf.eps:
	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .

isabelle.pdf:
	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .

isabelle_hol.pdf:
	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .

isabelle_zf.pdf:
	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .