# HG changeset patch
# User wenzelm
# Date 1346151332 -7200
# Node ID 647462af31c434f9a3f2d3546cd7b9cc3accde2f
# Parent  17dbe95eaa2a98c46662663d6721c517989e8397
updated IsarRef/document/style.sty;

diff -r 17dbe95eaa2a -r 647462af31c4 doc-src/ROOT
--- a/doc-src/ROOT	Tue Aug 28 12:52:14 2012 +0200
+++ b/doc-src/ROOT	Tue Aug 28 12:55:32 2012 +0200
@@ -244,7 +244,7 @@
     Scala
     Misc
   files
-    "../IsarRef/style.sty"
+    "../IsarRef/document/style.sty"
     "../pdfsetup.sty"
     "../iman.sty"
     "../extra.sty"
diff -r 17dbe95eaa2a -r 647462af31c4 doc-src/System/document/build
--- a/doc-src/System/document/build	Tue Aug 28 12:52:14 2012 +0200
+++ b/doc-src/System/document/build	Tue Aug 28 12:55:32 2012 +0200
@@ -8,7 +8,7 @@
 "$ISABELLE_TOOL" logo -o isabelle.pdf ""
 "$ISABELLE_TOOL" logo -o isabelle.eps ""
 
-cp "$ISABELLE_HOME/doc-src/IsarRef/style.sty" .
+cp "$ISABELLE_HOME/doc-src/IsarRef/document/style.sty" .
 cp "$ISABELLE_HOME/doc-src/iman.sty" .
 cp "$ISABELLE_HOME/doc-src/extra.sty" .
 cp "$ISABELLE_HOME/doc-src/isar.sty" .