diff options
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/ |