| changeset 20947 | bc827aa5015e |
| parent 20946 | 75b56e51fade |
| child 20989 | c04bbfe71cef |
--- 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 \