Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 66c33c016e067622cae1c7ba6a3b3215a1373b98
parent 655a333a87ba48009616b554784132d4679b1665
Author: Francis Rowe <>
Date:   Sun,  7 Jun 2015 19:15:58 +0100

build/release/docs: simplify the instructions

resources/scripts/helpers/build/release/docs | 14++++----------
1 file changed, 4 insertions(+), 10 deletions(-)

diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs @@ -36,16 +36,10 @@ fi printf 'Deleting old documentation release archives\n' rm -f "release/${distdir}.tar.xz" -rm -Rf "release/${distdir}/" -printf 'Copying documentation to %s/\n' "release/${distdir}" -cp -R docs/ "release/${distdir}/" - -printf '%s\n' "${version}" >"release/${distdir}/version" - -printf 'Creating %s.tar.xz\n' "release/${distdir}" -(cd release/ && tar -c "${distdir}/" | xz -9e >"${distdir}.tar.xz") - -rm -Rf "release/${distdir}/" +printf '%s\n' "${version}" >"docs/version" +printf 'Creating compressed documentation archive at %s/\n' "release/${distdir}.tar.xz" +tar -c "docs/" | xz -9e >"release/${distdir}.tar.xz" +rm -f "docs/version" printf 'Documentation release archives are stored in release/\n'