[PATCH 2/2] print_wiki.c: there is only one way to represent time.

[Stefan Tauner]

ISO 8601.

Signed-off-by: Stefan Tauner <[e-mail]>
---
 print_wiki.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/print_wiki.c b/print_wiki.c
index 6af277a..ad179e3 100644
--- a/print_wiki.c
+++ b/print_wiki.c
@@ -31,7 +31,7 @@ static const char wiki_header[] = "= Supported devices =\n\n\
 <div style=\"margin-top:0.5em; padding:0.5em 0.5em 0.5em 0.5em; \
 background-color:#eeeeee; text-align:left; border:1px solid #aabbcc;\">\
 <small>\n\
-'''Last update:''' %s(generated by flashrom %s)<br />\n\
+'''Last update:''' %s (generated by flashrom %s)<br />\n\
 The tables below are generated from flashrom's source by copying the output of '''flashrom -z'''.<br /><br />\n\
 A short explanation of the cells representing the support state follows:<br />\n\
 {| border=\"0\" valign=\"top\"\n\
@@ -443,8 +443,10 @@ static void print_supported_devs_wiki()
 void print_supported_wiki(void)
 {
 	time_t t = time(NULL);
+	char buf[sizeof("1986-02-28T12:37:42Z")];
+	strftime(buf, sizeof(buf), "%Y-%m-%dT%H:%M:%SZ", gmtime(&t));
 
-	printf(wiki_header, ctime(&t), flashrom_version);
+	printf(wiki_header, buf, flashrom_version);
 	print_supported_chips_wiki(2);
 #if CONFIG_INTERNAL == 1
 	print_supported_chipsets_wiki(3);
-- 
Kind regards, Stefan Tauner