diff options
author | P. J. McDermott <pj@pehjota.net> | 2015-05-31 14:29:40 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2015-05-31 14:29:40 (EDT) |
commit | 89f175d800f9819849e9e3bb5da4178eae00bd97 (patch) | |
tree | d77430e52be45c5f443ae1617d4b938c38f8f8f4 /resources/scripts/helpers/build/release/docs | |
parent | 80c9dcb77f86e52317f8aaa566ed5ef07f3e6fbd (diff) | |
download | libreboot-89f175d800f9819849e9e3bb5da4178eae00bd97.zip libreboot-89f175d800f9819849e9e3bb5da4178eae00bd97.tar.gz libreboot-89f175d800f9819849e9e3bb5da4178eae00bd97.tar.bz2 |
build/release/docs: New script
Diffstat (limited to 'resources/scripts/helpers/build/release/docs')
-rwxr-xr-x | resources/scripts/helpers/build/release/docs | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/release/docs b/resources/scripts/helpers/build/release/docs new file mode 100755 index 0000000..0c48b40 --- /dev/null +++ b/resources/scripts/helpers/build/release/docs @@ -0,0 +1,57 @@ +#!/bin/sh + +# +# helper script: generate the documentation release archive +# +# Copyright (C) 2015 Patrick "P. J." McDermott <pj@pehjota.net> +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. +# + +[ "x${DEBUG+set}" = 'xset' ] && set -v +set -u -e + +printf 'Building the documentation release archive\n' + +if [ -f version ]; then + version="$(cat version)" + distdir="libreboot_${version}_docs" +else + distdir='libreboot_docs' +fi + +printf 'Deleting old documentation release archives\n' +rm -f "${distdir}.tar.xz" +rm -f "release/${distdir}.tar.xz" +rm -Rf "${distdir}/" + +printf 'Copying documentation to %s/\n' "${distdir}" +cp -R docs/ "${distdir}/" + +if [ -f version ]; then + printf '%s\n' "${version}" >"${distdir}/version" +else + git rev-parse HEAD >"${distdir}/commitid" +fi + +printf 'Creating %s.tar.xz\n' "${distdir}" +tar -c "${distdir}/" | xz -9e >"${distdir}.tar.xz" + +# Move the archives to the release/ directory. +[ -d release/ ] || mkdir release/ +mv "${distdir}.tar.xz" release/ + +rm -Rf "${distdir}/" + +printf 'Documentation release archives are stored in release/\n' |