| changeset 20989 | c04bbfe71cef |
| parent 20947 | bc827aa5015e |
| child 26911 | 871cc7f11034 |
--- 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