| author | immler@in.tum.de |
| Thu, 26 Feb 2009 10:13:43 +0100 | |
| changeset 30151 | 629f3a92863e |
| parent 20989 | c04bbfe71cef |
| permissions | -rw-r--r-- |
| 20989 | 1 |
# $Id$ |
2 |
# |
|
3 |
||
4 |
include ../../Makefile.in |
|
5 |
||
6 |
SEDINDEX = ../../sedindex |
|
7 |
FIXBOOKMARKS = perl -pi ../../fixbookmarks.pl |
|
8 |
||
9 |
isabelle_isar.eps: |
|
10 |
test -r isabelle_isar.eps || ln -s ../../gfx/isabelle_isar.eps . |
|
11 |
||
12 |
isabelle_isar.pdf: |
|
13 |
test -r isabelle_isar.pdf || ln -s ../../gfx/isabelle_isar.pdf . |