| changeset 30228 | 2aaf339fb7c1 |
| parent 30224 | 79136ce06bdb |
| parent 30227 | 853abb4853cc |
| child 30229 | 9861257b18e6 |
| child 30243 | 09d5944e224e |
--- a/doc-src/IsarAdvanced/Makefile.in Tue Mar 03 17:05:18 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 .