From 3f33a5b1e7c0be15e37a07ffb301ad746b4b8839 Mon Sep 17 00:00:00 2001 From: intrigeri Date: Sun, 3 Jul 2016 18:44:13 +0000 Subject: [PATCH] Run asciidoc in UTC timezone for build reproducibility. asciidoc adds a timestamp at the end of a generated HTML file. This timestamp is based on the date of the file but it can change depending on the TZ environment variable. --- changes/asciidoc-UTC | 4 ++++ doc/asciidoc-helper.sh | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 changes/asciidoc-UTC diff --git a/changes/asciidoc-UTC b/changes/asciidoc-UTC new file mode 100644 index 000000000..21fbfc1d6 --- /dev/null +++ b/changes/asciidoc-UTC @@ -0,0 +1,4 @@ + o Minor bugfixes (build): + - When building manual pages, set the timezone to "UTC", so that the + output is reproducible. Fixes bug 19558; bugfix on 0.2.2.9-alpha. + Patch from intrigeri. diff --git a/doc/asciidoc-helper.sh b/doc/asciidoc-helper.sh index c06b57026..a3ef53f88 100755 --- a/doc/asciidoc-helper.sh +++ b/doc/asciidoc-helper.sh @@ -19,7 +19,7 @@ if [ "$1" = "html" ]; then base=${output%%.html.in} if [ "$2" != none ]; then - "$2" -d manpage -o $output $input; + TZ=UTC "$2" -d manpage -o $output $input; else echo "=================================="; echo;