diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-06-07 16:35:07 (EDT) |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-07 16:36:01 (EDT) |
commit | 65faaed6608ea1201b9b599bd1771e497a3a9d6f (patch) | |
tree | ff73ab8eaa704237c2c780e01dc5129b238216b4 /resources/scripts/helpers/build/release/docs | |
parent | 8f18ccde00d293fab46c2b0721c121ad0e6f5898 (diff) | |
download | libreboot-65faaed6608ea1201b9b599bd1771e497a3a9d6f.zip libreboot-65faaed6608ea1201b9b599bd1771e497a3a9d6f.tar.gz libreboot-65faaed6608ea1201b9b599bd1771e497a3a9d6f.tar.bz2 |
build/release/*: version in file names no longer optional
(also, rename archives to util)
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
-rwxr-xr-x | resources/scripts/helpers/build/release/docs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 93aa4a2..a1f7b96 100755 --- a/resources/scripts/helpers/build/release/docs +++ b/resources/scripts/helpers/build/release/docs @@ -26,11 +26,7 @@ set -u -e printf 'Building the documentation release archive\n' version="$(git describe --tags HEAD)" -if [ "x${VERSION_IN_FILENAMES+set}" = 'xset' ]; then - distdir="libreboot_${version}_docs" -else - distdir='libreboot_docs' -fi +distdir="libreboot_${version}_docs" [ -d release/ ] || mkdir release/ |