diff options
| author | Francis Rowe <info@gluglug.org.uk> | 2015-06-07 14:15:58 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-07 14:15:58 (EDT) |
| commit | 66c33c016e067622cae1c7ba6a3b3215a1373b98 (patch) | |
| tree | e72da6bc5fcac5f5bde7193c0f5af6a6a40f3a64 | |
| parent | 655a333a87ba48009616b554784132d4679b1665 (diff) | |
| download | libreboot-66c33c016e067622cae1c7ba6a3b3215a1373b98.zip libreboot-66c33c016e067622cae1c7ba6a3b3215a1373b98.tar.gz libreboot-66c33c016e067622cae1c7ba6a3b3215a1373b98.tar.bz2 | |
build/release/docs: simplify the instructions
| -rwxr-xr-x | resources/scripts/helpers/build/release/docs | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs index a676385..93aa4a2 100755 --- 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' |