merged.
# $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 .