# HG changeset patch
# User haftmann
# Date 1160633423 -7200
# Node ID c04bbfe71cef88c07584da792c58333bdabdeec8
# Parent  0887d0dd32107f704fa8209a4065f9787dd4398e
added makefile layer

diff -r 0887d0dd3210 -r c04bbfe71cef doc-src/IsarAdvanced/Classes/Makefile
--- 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
 
diff -r 0887d0dd3210 -r c04bbfe71cef doc-src/IsarAdvanced/Codegen/Makefile
--- 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
 
diff -r 0887d0dd3210 -r c04bbfe71cef doc-src/IsarAdvanced/Makefile.in
--- /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 .