# HG changeset patch
# User haftmann
# Date 1160473289 -7200
# Node ID bc827aa5015efb5ea4e7fb3082d0e9ea10589a2f
# Parent  75b56e51fadef68b2c48c2b82a36718b5f1a760a
*** empty log message ***

diff -r 75b56e51fade -r bc827aa5015e doc-src/IsarAdvanced/Classes/Makefile
--- a/doc-src/IsarAdvanced/Classes/Makefile	Tue Oct 10 11:38:43 2006 +0200
+++ b/doc-src/IsarAdvanced/Classes/Makefile	Tue Oct 10 11:41:29 2006 +0200
@@ -11,6 +11,12 @@
 
 include ../../Makefile.in
 
+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 .
+
 NAME = classes
 
 FILES = $(NAME).tex classes.tex Thy/document/Classes.tex \