diff -r f47de9e82b0f -r b266e7a86485 src/Doc/JEdit/document/build
--- a/src/Doc/JEdit/document/build	Sat Apr 05 17:52:29 2014 +0100
+++ b/src/Doc/JEdit/document/build	Sat Apr 05 11:37:00 2014 +0200
@@ -7,7 +7,7 @@
 
 "$ISABELLE_TOOL" logo jEdit
 
-cp "$ISABELLE_HOME/src/Doc/IsarRef/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" .