Fix #3778: show ReadTheDocs document build date (#3779)

scala-native · Feb 21, 2024 · 73373bf · 73373bf
1 parent 5b05e1c
commit 73373bf
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -89,6 +89,8 @@ def generateScalaNativeCurrentYear():
 #
 # today_fmt = '%B %d, %Y'
 
+today_fmt = '%Y-%m-%d %H:%M:%S' # Scala Native change. Use ISO format.
+
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 # This patterns also effect to html_static_path and html_extra_path

diff --git a/docs/index.rst b/docs/index.rst
@@ -2,6 +2,8 @@
 Scala Native
 ============
 
+Document built at : |today|
+
 Version: |release|
 
 Scala Native is an optimizing ahead-of-time compiler and lightweight managed

diff --git a/docs/sn_alabaster/layout.html b/docs/sn_alabaster/layout.html
@@ -18,10 +18,10 @@
                 meta.getAttribute("content") !== ""
             ) {
                 const el = document.createElement("p");
-                el.textContent = "Last updated: " + meta.getAttribute("content") + ".";
+                el.textContent = "Entry last updated: " + meta.getAttribute("content");
                 h1s[0].insertAdjacentElement("afterend", el);
             }
         });
     </script>
     {{ super() }}
-{%- endblock %}
+{%- endblock %}