diff options
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
| -rwxr-xr-x | resources/scripts/helpers/build/release/docs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index 54faac5..c2099a0 100755 --- a/resources/scripts/helpers/build/release/docs +++ b/resources/scripts/helpers/build/release/docs @@ -45,6 +45,16 @@ rm -Rf "${distdir:?}/" mkdir -p "${distdir}/" cp -r docs/* "${distdir}/" +# this has to be done before generating +# the "version" file +if [ ! -f "version" ]; then + # generate ChangeLog and NEWS files + rm -f "ChangeLog" "NEWS" + git log > "${distdir}/ChangeLog" + cp "${distdir}/ChangeLog" "${distdir}/NEWS" +fi + +# include version information printf '%s\n' "${version}" >"${distdir}/version" printf 'Creating compressed documentation archive at %s\n' "${distdir}.tar.xz" |