From e782577eec8afc3dbd2fcd82a63a6517cf3bc75e Mon Sep 17 00:00:00 2001
From: Tristan Stenner <derstenner@gmail.com>
Date: Thu, 31 Jan 2019 01:39:12 +0100
Subject: [PATCH] Manual: document `date-meta` template variable (#5260)

In HTML based formats the `date` metadata variable is converted to ISO 8601
and available as `$date-meta`, but it's not documented at the moment.
---
 MANUAL.txt | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/MANUAL.txt b/MANUAL.txt
index 7714d62b1..51a4428d0 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -1813,6 +1813,16 @@ on the output format, and include the following:
 `body`
 :   body of document
 
+`date-meta`
+:   the `date` variable converted to ISO 8601 YYYY-MM-DD,
+    included in all HTML based formats (dzslides, epub,
+    html, html4, html5, revealjs, s5, slideous, slidy).
+    The recognized formats for `date` are: `mm/dd/yyyy`,
+    `mm/dd/yy`, `yyyy-mm-dd` (ISO 8601), `dd MM yyyy`
+    (e.g. either `02 Apr 2018` or `02 April 2018`),
+    `MM dd, yyyy` (e.g. `Apr. 02, 2018` or `April 02, 2018),
+    `yyyy[mm[dd]]]` (e.g. `20180402, `201804` or `2018`).
+
 `header-includes`
 :   contents specified by `-H/--include-in-header` (may have multiple
     values)