From b77271dd0ec60a0e4de0079f4e67e8593ec08a72 Mon Sep 17 00:00:00 2001
From: Christoph Berg <myon@debian.org>
Date: Fri, 7 Jun 2019 18:27:29 +0200
Subject: [PATCH] Don't include timestamps in doc to make build binary
 reproducible

---
 doc/adminguide/stylesheet.dsl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/adminguide/stylesheet.dsl b/doc/adminguide/stylesheet.dsl
index 87482922..d0947144 100644
--- a/doc/adminguide/stylesheet.dsl
+++ b/doc/adminguide/stylesheet.dsl
@@ -194,10 +194,10 @@
       (make empty-element gi: "HR")
       (empty-sosofo)))
 
-;; Add character encoding and time of creation into HTML header
+;; Add character encoding into HTML header
 (define %html-header-tags% 
   (list (list "META" '("HTTP-EQUIV" "Content-Type") '("CONTENT" "text/html; charset=ISO-8859-1"))
-	(list "META" '("NAME" "creation") (list "CONTENT" (time->string (time) #t)))))
+	))
 
 ;; Create an index
 (define html-index #t)
-- 
2.39.5