Comment at the end of file indicating when docs were generated

Author: Varunram

doc-tool/src/dotty/tools/dottydoc/staticsite/Site.scala

@@ -8,6 +8,10 @@ import java.io.{ File => JFile, OutputStreamWriter, BufferedWriter, ByteArrayInp
 import java.util.{ List => JList, Map => JMap, Arrays }
 import java.nio.file.Path
 import java.nio.charset.StandardCharsets
+import java.util.Calendar
+import java.text.SimpleDateFormat
+import java.io.PrintWriter
+
 
 import com.vladsch.flexmark.parser.ParserEmulationProfile
 import com.vladsch.flexmark.parser.Parser
@@ -311,6 +315,16 @@ case class Site(val root: JFile, val projectTitle: String, val documentation: Ma
     * defaults, the user-defined one will take precedence.
     */
   val layouts: Map[String, Layout] = {
+
+    val cal = Calendar.getInstance()
+    val today = cal.getTime()
+    val currentHour = new SimpleDateFormat("hh").format(today)
+    val currentMinute = new SimpleDateFormat("mm").format(today)
+    val amOrPm = new SimpleDateFormat("a").format(today)
+    val x = "<!-- generated on " + cal.get(Calendar.DATE) + "/"+ (cal.get(Calendar.MONTH)+1)+ "/"+cal.get(Calendar.YEAR) + " " + currentHour + ":" + currentMinute + ":" + amOrPm + "-->"
+    var loc = root.getAbsolutePath.toString + "/.." + "/doc-tool/resources/_layouts/main.html"
+    scala.tools.nsc.io.File(loc).appendAll(x)
+
     val userDefinedLayouts =
       root
       .listFiles.find(d => d.getName == "_layouts" && d.isDirectory)