--- a/doc-src/IsarAdvanced/Classes/Makefile Wed Oct 11 22:59:36 2006 +0200
+++ b/doc-src/IsarAdvanced/Classes/Makefile Thu Oct 12 08:10:23 2006 +0200
@@ -9,13 +9,7 @@
## dependencies
-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 .
+include ../Makefile.in
NAME = classes
--- a/doc-src/IsarAdvanced/Codegen/Makefile Wed Oct 11 22:59:36 2006 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Makefile Thu Oct 12 08:10:23 2006 +0200
@@ -9,13 +9,7 @@
## dependencies
-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 .
+include ../Makefile.in
NAME = codegen
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/IsarAdvanced/Makefile.in Thu Oct 12 08:10:23 2006 +0200
@@ -0,0 +1,13 @@
+# $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 .