src/Doc/System/Scala.thy

--- a/src/Doc/System/Scala.thy	Sun Mar 01 22:32:10 2020 +0100
+++ b/src/Doc/System/Scala.thy	Sun Mar 01 22:52:46 2020 +0100
@@ -103,7 +103,7 @@
 \<open>Usage: isabelle scala_project [OPTIONS] PROJECT_DIR
 
   Options are:
-    -l           make symlinks to original scala files
+    -L           make symlinks to original scala files
 
   Setup Gradle project for Isabelle/Scala/jEdit --- to support Scala IDEs
   such as IntelliJ IDEA.\<close>}