diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html index c1a8f833aa0c..01e32f4260a5 100644 --- a/doc-tool/resources/_layouts/main.html +++ b/doc-tool/resources/_layouts/main.html @@ -1,3 +1,4 @@ + diff --git a/doc-tool/src/dotty/tools/dottydoc/staticsite/DefaultParams.scala b/doc-tool/src/dotty/tools/dottydoc/staticsite/DefaultParams.scala index f0ab5341ed4b..4eb1fba1459b 100644 --- a/doc-tool/src/dotty/tools/dottydoc/staticsite/DefaultParams.scala +++ b/doc-tool/src/dotty/tools/dottydoc/staticsite/DefaultParams.scala @@ -5,6 +5,8 @@ package staticsite import model.{ Entity, Package, NonEntity } import java.util.{ HashMap, List => JList, Map => JMap } +import java.time.LocalDateTime +import java.time.format.DateTimeFormatter import scala.collection.JavaConverters._ case class DefaultParams( @@ -58,7 +60,7 @@ case class DefaultParams( def withDate(d: String) = copy(page = PageInfo(page.url, d)) } -case class PageInfo(url: String, date: String = "") { +case class PageInfo(url: String, date: String = LocalDateTime.now().format(DateTimeFormatter.ofPattern("yyyy-MM-dd")).toString ) { val path: Array[String] = url.split('/').reverse.drop(1) }