# $Id$
#

include ../../Makefile.in

SEDINDEX = ../../sedindex
FIXBOOKMARKS = perl -pi ../../fixbookmarks.pl

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

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