Added current release date to download button and page

download.html

@@ -1,6 +1,7 @@
 <p>
   <span class="release-current">
     Current Release: <span class="version"><!--%curver--></span>
+    <span class="version date">(<!--%curver-date-->)</span>
   </span>
 </p>
 <p>

index.html

@@ -7,6 +7,7 @@
 
 <a href="download.html" class="download btn large go">
   Download v<!--%curver-->
+  <div class="note">(Released: <!--%curver-date-->)</div>
 </a>
 
 <ul class="features">

style.css

@@ -241,9 +241,15 @@ span.shell-start {
 /** index **/
 .btn.download {
   float: right;
-  margin-top: 0.9em;
+  margin-top: 0.8em;
 }
 
+.btn.download .note {
+  font-size: 0.4em;
+  font-style: italic;
+}
+
+
 .info {
   clear: both;
 }

tools/page-parse

@@ -24,6 +24,15 @@ curver="$( git tag -l \
   | tail -n1
 )"
 
+curver_date="$( date "+%d %b %Y" \
+  --date="$( git for-each-ref \
+    --format='%(*authordate)' \
+    "refs/tags/$curver" \
+    | cut -d' ' -f1-5 \
+  )"
+)"
+
+
 # TODO: Both sed and gawk are unnecessary; it was just the most convenient
 # solution
 gawk '
@@ -33,4 +42,7 @@ gawk '
   }
   { print }
 ' \
-  | sed 's/<!--%curver-->/'$curver'/g'
+  | sed "
+    s/<!--%curver-->/$curver/g;
+    s/<!--%curver-date-->/$curver_date/g;
+  "