Don't include timestamps in doc to make build binary reproducible

diff --git a/doc/adminguide/stylesheet.dsl b/doc/adminguide/stylesheet.dsl
index 87482922e6a4581e7b87c3ce31c450c6328b2155..d0947144de19a6562a093647aa20a2ec475ee57d 100644 (file)
--- 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)