diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-06-07 21:35:07 +0100 |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-07 21:36:01 +0100 |
| commit | 65faaed6608ea1201b9b599bd1771e497a3a9d6f (patch) | |
| tree | ff73ab8eaa704237c2c780e01dc5129b238216b4 /resources/scripts/helpers/build/release/docs | |
| parent | 8f18ccde00d293fab46c2b0721c121ad0e6f5898 (diff) | |
| download | librebootfr-65faaed6608ea1201b9b599bd1771e497a3a9d6f.tar.gz librebootfr-65faaed6608ea1201b9b599bd1771e497a3a9d6f.zip | |
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 93aa4a2e..a1f7b963 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/ |