doc-src/Makefile.in
author blanchet
Fri, 14 May 2010 22:43:00 +0200
changeset 36926 90bb12cf8e36
parent 33191 fe3c65d9c577
child 42629 f61ac1573ee6
permissions -rw-r--r--
added Sledgehammer manual; some material was recovered from the Isar material, the rest is new

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

## settings

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

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

## special targets

.DELETE_ON_ERROR:

## actions

nothing:

clean:
	@rm -f $(DEFAULT_GARBAGE) $(GARBAGE)

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


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

isabelle_isar.eps:
	test -r isabelle_isar.eps || ln -s ../gfx/isabelle_isar.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_nitpick.eps:
	test -r isabelle_nitpick.eps || ln -s ../gfx/isabelle_nitpick.eps .

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


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

isabelle_isar.pdf:
	test -r isabelle_isar.pdf || ln -s ../gfx/isabelle_isar.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 .

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

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

typedef.ps:
	test -r typedef.ps || ln -s ../gfx/typedef.ps .

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