diff options
Diffstat (limited to 'src/compiler/scala/tools/nsc/doc/html/page/Index.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/doc/html/page/Index.scala | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/page/Index.scala b/src/compiler/scala/tools/nsc/doc/html/page/Index.scala index cdc040c15d..7bbd8ef821 100644 --- a/src/compiler/scala/tools/nsc/doc/html/page/Index.scala +++ b/src/compiler/scala/tools/nsc/doc/html/page/Index.scala @@ -13,11 +13,15 @@ import model._ import scala.collection._ import scala.xml._ -class Index(modelRoot: Package) extends HtmlPage { +class Index(universe: Universe) extends HtmlPage { def path = List("index.html") - def title = "Scaladoc: all classes and objects" + def title = { + val s = universe.settings + ( if (!s.doctitle.isDefault) s.doctitle.value else "" ) + + ( if (!s.docversion.isDefault) (" " + s.docversion.value) else "" ) + } def headers = <xml:group> @@ -74,7 +78,7 @@ class Index(modelRoot: Package) extends HtmlPage { }</ol> </xml:group> } - packageElem(modelRoot) + packageElem(universe.rootPackage) }</div> </div> <div id="content"> |