diff -r 16d4213d4cbc -r 856492b0f755 src/Doc/System/document/build
--- a/src/Doc/System/document/build	Mon Apr 07 16:37:57 2014 +0200
+++ b/src/Doc/System/document/build	Tue Apr 08 12:46:38 2014 +0200
@@ -7,7 +7,7 @@
 
 "$ISABELLE_TOOL" logo
 
-cp "$ISABELLE_HOME/src/Doc/Isar-Ref/document/style.sty" .
+cp "$ISABELLE_HOME/src/Doc/Isar_Ref/document/style.sty" .
 cp "$ISABELLE_HOME/src/Doc/iman.sty" .
 cp "$ISABELLE_HOME/src/Doc/extra.sty" .
 cp "$ISABELLE_HOME/src/Doc/isar.sty" .