diff options
Diffstat (limited to 'src/manual')
| -rw-r--r-- | src/manual/scala/man1/scala.scala | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/manual/scala/man1/scala.scala b/src/manual/scala/man1/scala.scala index cdaf341577..a3f4044fe9 100644 --- a/src/manual/scala/man1/scala.scala +++ b/src/manual/scala/man1/scala.scala @@ -40,6 +40,15 @@ object scala extends Command { "."), Definition( + Mono("-i"), + "Requests that a file be pre-loaded. It is only " & + "meaningful for interactive shells."), + + Definition( + Mono("-e"), + "Requests that its argument be executed as Scala code."), + + Definition( Mono("-savecompiled"), "Save this compiled version of scripts in order to speed up " & "later executions of the same script. When running a script, " & @@ -243,7 +252,7 @@ object scala extends Command { title = command date = lastModified author = "Stephane Micheloud" - version = "0.4" + version = "0.5" sections = List( name, synopsis, |