From e998a5e747941cb42939d45232fa87e8a3688727 Mon Sep 17 00:00:00 2001 From: Antonio Cunei Date: Thu, 16 Sep 2010 12:13:02 +0000 Subject: Little type in documentation; closes #3386. --- src/manual/scala/man1/scala.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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("::!#") & ".", -- cgit v1.2.3