#

 # $Id$

 #

 # Common part for Doc Makefiles

 #

 ## settings

 LATEX = latex

 PDFLATEX = pdflatex

 BIBTEX = bibtex

 RAIL = rail -a

 SEDINDEX = ../sedindex

 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl

 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.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_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.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 .