summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build/release/docs
diff options
context:
space:
mode:
authorFrancis Rowe <fchmmr@minifree.lan>2015-12-04 14:03:52 (EST)
committer Francis Rowe <fchmmr@minifree.lan>2015-12-04 14:08:06 (EST)
commit26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0 (patch)
tree06502e98de84f539fd001d6bd64cb71f8cb8e0a7 /resources/scripts/helpers/build/release/docs
parent2e7fde09174aed5f3cc7d714dbe32e451873f3c9 (diff)
downloadlibreboot-26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0.zip
libreboot-26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0.tar.gz
libreboot-26d16fa5cdc9e351fcb582104cf8c7b3bf9ddaf0.tar.bz2
grub: build reproducibly
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
-rwxr-xr-xresources/scripts/helpers/build/release/docs4
1 files changed, 4 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs
index 966bccf..32203ac 100755
--- a/resources/scripts/helpers/build/release/docs
+++ b/resources/scripts/helpers/build/release/docs
@@ -28,9 +28,11 @@ printf 'Building the documentation release archive\n'
if [ -f "version" ]; then
# _src release archive is being used
version="$(cat version)"
+ versiondate="$(cat versiondate)"
else
# git repo is being used
version="$(git describe --tags HEAD)"
+ versiondate="$(git show -s --format=%ct)"
fi
versiondir="release/${version}"
distname="libreboot_${version}_docs"
@@ -60,6 +62,8 @@ fi
# include version information
printf '%s\n' "${version}" >"${distdir}/version"
+# include version date information
+printf '%s\n' "${versiondate}" >"${distdir}/versiondate"
printf 'Creating compressed documentation archive at %s\n' "${distdir}.tar.xz"
(cd "${versiondir}/" && tar -c "${distname}/" | xz -9e >"${distname}.tar.xz")