doc-src/IsarAdvanced/Makefile.in
author nipkow
Sun, 22 Feb 2009 17:25:28 +0100
changeset 30056 0a35bee25c20
parent 20989 c04bbfe71cef
permissions -rw-r--r--
added lemmas

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