Merge pull request #2465 from Varunram/branch1

felixmulder · web-flow · commit d8955ce5ab25 · 2017-05-20T11:43:02.000+02:00
Add timestamp to generated docs
diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html
@@ -1,3 +1,4 @@
+<!-- This page was last generated on {{ page.date | date: "%b-%d-%Y" }} -->
 <!DOCTYPE html>
 <html lang="en">
     <head>
diff --git 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)
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+<!-- This page was last generated on {{ page.date \| date: "%b-%d-%Y" }} -->`
`1`	`2`	`<!DOCTYPE html>`
`2`	`3`	`<html lang="en">`
`3`	`4`	`<head>`
Original file line number	Diff line number	Diff line change
`@@ -5,6 +5,8 @@ package staticsite`
`5`	`5`	`import model.{ Entity, Package, NonEntity }`
`6`	`6`
`7`	`7`	`import java.util.{ HashMap, List => JList, Map => JMap }`
	`8`	`+import java.time.LocalDateTime`
	`9`	`+import java.time.format.DateTimeFormatter`
`8`	`10`	`import scala.collection.JavaConverters._`
`9`	`11`
`10`	`12`	`case class DefaultParams(`
`@@ -58,7 +60,7 @@ case class DefaultParams(`
`58`	`60`	`def withDate(d: String) = copy(page = PageInfo(page.url, d))`
`59`	`61`	`}`
`60`	`62`
`61`		`-case class PageInfo(url: String, date: String = "") {`
	`63`	`+case class PageInfo(url: String, date: String = LocalDateTime.now().format(DateTimeFormatter.ofPattern("yyyy-MM-dd")).toString ) {`
`62`	`64`	`val path: Array[String] = url.split('/').reverse.drop(1)`
`63`	`65`	`}`
`64`	`66`