diff options
| -rwxr-xr-x | doc/asciidoc-helper.sh | 4 | ||||
| -rw-r--r-- | doc/nofooter.conf | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/doc/asciidoc-helper.sh b/doc/asciidoc-helper.sh index a3ef53f884..2b63154441 100755 --- a/doc/asciidoc-helper.sh +++ b/doc/asciidoc-helper.sh @@ -12,6 +12,8 @@ if [ $# != 3 ]; then exit 1; fi +export SOURCE_DATE_EPOCH=$(git show --no-patch --format='%ct') + output=$3 if [ "$1" = "html" ]; then @@ -19,7 +21,7 @@ if [ "$1" = "html" ]; then base=${output%%.html.in} if [ "$2" != none ]; then - TZ=UTC "$2" -d manpage -o $output $input; + TZ=UTC "$2" -f "$(dirname $0)/nofooter.conf" -d manpage -o "$output" "$input"; else echo "=================================="; echo; diff --git a/doc/nofooter.conf b/doc/nofooter.conf new file mode 100644 index 0000000000..f16d76b2da --- /dev/null +++ b/doc/nofooter.conf @@ -0,0 +1,3 @@ +# There is a single space on the footer-text line to make it reproducible. +[footer-text] + |