diff options
| author | Antonio Cunei <antonio.cunei@epfl.ch> | 2010-09-16 12:13:02 +0000 |
|---|---|---|
| committer | Antonio Cunei <antonio.cunei@epfl.ch> | 2010-09-16 12:13:02 +0000 |
| commit | e998a5e747941cb42939d45232fa87e8a3688727 (patch) | |
| tree | 152f9af281bac554d6235ac9769deb76405f317f /src/manual | |
| parent | e57245492c143186033a7ffa9555988338f5f509 (diff) | |
| download | scala-e998a5e747941cb42939d45232fa87e8a3688727.tar.gz scala-e998a5e747941cb42939d45232fa87e8a3688727.tar.bz2 scala-e998a5e747941cb42939d45232fa87e8a3688727.zip | |
Little type in documentation; closes #3386.
Diffstat (limited to 'src/manual')
| -rw-r--r-- | src/manual/scala/man1/scala.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/manual/scala/man1/scala.scala b/src/manual/scala/man1/scala.scala index 0530185c30..cae1caecfc 100644 --- a/src/manual/scala/man1/scala.scala +++ b/src/manual/scala/man1/scala.scala @@ -122,7 +122,7 @@ object scala extends Command { "Any arguments specified will be available via the " & Mono("args") & "variable.", - "Script files may have an optional header fthat is ignored if " & + "Script files may have an optional header that is ignored if " & "present. There are two ways to format the header: either beginning with " & Mono("#!") & " and ending with " & Mono("!#") & ", or beginning with " & Mono("::#!") & " and ending with " & Mono("::!#") & ".", |