Doc: Ignore date and documentid

Introduced by reproducible builds.

diff --git a/tools/linuxdoc.lua b/tools/linuxdoc.lua
index 6b8f34ed1669464fb071a871b582df424c0be45d..4976d8800726cbc8fc1564d98a06960076e3beaf 100644 (file)
--- a/tools/linuxdoc.lua
+++ b/tools/linuxdoc.lua
@@ -91,7 +91,7 @@ G = P{ "Pandoc",
     return pandoc.Str("")
   end;
 
-  BookInside = V"Comment" + V"BookIgnored" + V"Title" + V"Author" + V"Abstract" + V"Chapter" + blankchar + V"ParseFail";
+  BookInside = V"Comment" + V"BookIgnored" + V"Title" + V"Author" + V"Date" + V"DocumentID" + V"Abstract" + V"Chapter" + blankchar + V"ParseFail";
   BookIgnored = P"<toc>";
   Book = P"<book>" * Ct(V"BookInside"^1) * P"</book>" / mergetables;
 
@@ -109,6 +109,9 @@ G = P{ "Pandoc",
     return n .. " <" .. e .. ">"
   end;
 
+  Date = P"<date>" * inelement * P"</date>" / function (t) end;
+  DocumentID = P"<documentid>" * inelement * P"</documentid>" / function (t) end;
+
   Abstract = P"<abstract>" * inelement * P"</abstract>" / function (t)
     return {
       pandoc.Meta({ abstract = t });