diff options
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
| -rwxr-xr-x | resources/scripts/helpers/build/release/docs | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 523d1760..410e8fae 100755 --- a/resources/scripts/helpers/build/release/docs +++ b/resources/scripts/helpers/build/release/docs @@ -25,7 +25,13 @@ set -u -e printf 'Building the documentation release archive\n' -version="$(git describe --tags HEAD)" +if [ -f "version" ]; then + # _src release archive is being used + version="$(cat version)" +else + # git repo is being used + version="$(git describe --tags HEAD)" +fi versiondir="release/${version}" distdir="${versiondir}/libreboot_${version}_docs" |