added variable JAVA_OPTS to generated man pages

1 files changed, 18 insertions, 4 deletions

diff --git a/src/manual/scala/man1/scala.scala b/src/manual/scala/man1/scala.scala
index 76ebbccff0..24c0e3060b 100644
--- a/src/manual/scala/man1/scala.scala
+++ b/src/manual/scala/man1/scala.scala
@@ -149,8 +149,22 @@ object scala extends Command {
         MBold("JAVACMD"),
         "Specify the " & MBold("java") & " command to be used " &
         "for running the Scala code.  Arguments may be specified " &
-        "as part of the environment variable; spaces, quotation marks " &
-        "etc., will be passed directly to the shell for expansion.")))
+        "as part of the environment variable; spaces, quotation marks, " &
+        "etc., will be passed directly to the shell for expansion."),
+      Definition(
+        MBold("JAVA_OPTS"),
+        SeqPara(
+          "Specify the options to be passed to the " & MBold("java") &
+          " command defined by " & MBold("JAVACMD") & ".",
+
+          "With Java 1.5 (or newer) one may for example configure the " &
+          "memory usage of the JVM as follows: " &
+          Mono("JAVA_OPTS=-Xmx512M -Xms16M -Xss16M"),
+
+          "With " & Link("GNU Java", "http://gcc.gnu.org/java/") & " one " &
+          "may configure the memory usage of the GIJ as follows: " &
+          Mono("JAVA_OPTS=--mx512m --ms16m")
+        ))))
 
   val examples = Section("EXAMPLES",
 
@@ -228,8 +242,8 @@ object scala extends Command {
   def manpage = new Document {
     title = command
     date = lastModified
-    author = "LAMP"
-    version = "0.3"
+    author = "Stephane Micheloud"
+    version = "0.4"
     sections = List(
       name,
       synopsis,