changeset 30242 | aea5d7fa7ef5 |
parent 30241 | 3a1aef73b2b2 |
parent 30236 | e70dae49dc57 |
child 30244 | 48543b307e99 |
child 30251 | 7aec011818e0 |
child 30257 | 06b2d7f9f64b |
--- a/doc-src/IsarAdvanced/Makefile.in Wed Mar 04 11:05:02 2009 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,13 +0,0 @@ -# $Id$ -# - -include ../../Makefile.in - -SEDINDEX = ../../sedindex -FIXBOOKMARKS = perl -pi ../../fixbookmarks.pl - -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 .