diff -r 0887d0dd3210 -r c04bbfe71cef doc-src/IsarAdvanced/Classes/Makefile
--- a/doc-src/IsarAdvanced/Classes/Makefile	Wed Oct 11 22:59:36 2006 +0200
+++ b/doc-src/IsarAdvanced/Classes/Makefile	Thu Oct 12 08:10:23 2006 +0200
@@ -9,13 +9,7 @@
 
 ## dependencies
 
-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 .
+include ../Makefile.in
 
 NAME = classes