diff options
author | michelou <michelou@epfl.ch> | 2007-05-03 15:00:30 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2007-05-03 15:00:30 +0000 |
commit | 3c13a0fe5fa90d8b510be299a5999c04b83b7915 (patch) | |
tree | 90f9dd418ce63135dbaa3a3fd8c0f44f8d2327cd | |
parent | b927a915b08b38888ea52c2433ff9376bcf33a83 (diff) | |
download | scala-3c13a0fe5fa90d8b510be299a5999c04b83b7915.tar.gz scala-3c13a0fe5fa90d8b510be299a5999c04b83b7915.tar.bz2 scala-3c13a0fe5fa90d8b510be299a5999c04b83b7915.zip |
added scaladoc options
-rw-r--r-- | src/manual/scala/man1/scaladoc.scala | 23 |
1 files changed, 19 insertions, 4 deletions
diff --git a/src/manual/scala/man1/scaladoc.scala b/src/manual/scala/man1/scaladoc.scala index b7acc07f0e..2a8970339b 100644 --- a/src/manual/scala/man1/scaladoc.scala +++ b/src/manual/scala/man1/scaladoc.scala @@ -72,8 +72,23 @@ object scaladoc extends Command { CmdOption("windowtitle", Argument("windowtitle")), "Specify window title of generated HTML documentation"), Definition( - CmdOption("documenttitle", Argument("documenttitle")), - "Specify document title of generated HTML documentation"), + CmdOption("doctitle", Argument("doctitle")), + "Include title for the overview page"), + Definition( + CmdOption("stylesheetfile", Argument("stylesheetfile")), + "File to change style of the generated documentation"), + Definition( + CmdOption("header", Argument("pageheader")), + "Include header text for each page"), + Definition( + CmdOption("footer", Argument("pagefooter")), + "Include footer text for each page"), + Definition( + CmdOption("top", Argument("pagetop")), + "Include top text for each page"), + Definition( + CmdOption("bottom", Argument("pagebottom")), + "Include bottom text for each page"), Definition( CmdOption("version"), "Print product version and exit."), @@ -112,9 +127,9 @@ object scaladoc extends Command { def manpage = new Document { title = command - date = "October 4, 2006" + date = "May 1, 2007" author = "Stephane Micheloud" - version = "0.3" + version = "0.4" sections = List( name, synopsis, |