Openjade can generate timestamps from DSSSL stylesheets.
Solution
Use SOURCE_DATE_EPOCH via openjade -V instead of using "time" in the stylesheet
The example below is from plr: https://anonscm.debian.org/cgit/pkg-postgresql/plr.git/commit/?id=d239ca1ac842a8b0376e074e6e8078e7ca5db848
Example
: ${SOURCE_DATE_EPOCH:=$(date +%s)} openjade -wall -wno-unused-param -wno-empty -wfully-tagged \ -c ${DOCBOOKSTYLE}/catalog \ -V "(define source-date-epoch $SOURCE_DATE_EPOCH)" \ -d stylesheet.dsl -t sgml -i output-html -V html-index plr.sgml
--- a/doc/stylesheet.dsl +++ b/doc/stylesheet.dsl @@ -221,7 +221,7 @@ ;; Add character encoding and time of creation 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))))) + (list "META" '("NAME" "creation") (list "CONTENT" (time->string source-date-epoch #t)))))