--- a/src/Doc/System/Scala.thy Fri Mar 06 22:01:28 2020 +0100
+++ b/src/Doc/System/Scala.thy Sat Mar 07 12:14:51 2020 +0100
@@ -121,7 +121,7 @@
\<^medskip> By default, Scala sources are \<^emph>\<open>copied\<close> from the Isabelle distribution and
editing them within the IDE has no permanent effect.
- Option \<^verbatim>\<open>-l\<close> produces \<^emph>\<open>symlinks\<close> to the original files: this allows to
+ Option \<^verbatim>\<open>-L\<close> produces \<^emph>\<open>symlinks\<close> to the original files: this allows to
develop Isabelle/Scala/jEdit within an external Scala IDE. Note that
building the result always requires \<^verbatim>\<open>isabelle jedit -b\<close> on the
command-line.