From 3c13a0fe5fa90d8b510be299a5999c04b83b7915 Mon Sep 17 00:00:00 2001 From: michelou Date: Thu, 3 May 2007 15:00:30 +0000 Subject: added scaladoc options --- src/manual/scala/man1/scaladoc.scala | 23 +++++++++++++++++++---- 1 file changed, 19 insertions(+), 4 deletions(-) (limited to 'src') 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, -- cgit v1.2.3