doc-src/IsarAdvanced/Makefile.in
author haftmann
Thu, 12 Oct 2006 08:10:23 +0200
changeset 20989 c04bbfe71cef
permissions -rw-r--r--
added makefile layer
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
20989
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     1
# $Id$
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     2
#
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     3
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     4
include ../../Makefile.in
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     5
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     6
SEDINDEX = ../../sedindex
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     7
FIXBOOKMARKS = perl -pi ../../fixbookmarks.pl
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     8
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
     9
isabelle_isar.eps:
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
    10
	test -r isabelle_isar.eps || ln -s ../../gfx/isabelle_isar.eps .
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
    11
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
    12
isabelle_isar.pdf:
c04bbfe71cef added makefile layer
haftmann
parents:
diff changeset
    13
	test -r isabelle_isar.pdf || ln -s ../../gfx/isabelle_isar.pdf .