summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xresources/scripts/helpers/build/release/archives26
-rwxr-xr-xresources/scripts/helpers/build/release/docs57
2 files changed, 57 insertions, 26 deletions
diff --git a/resources/scripts/helpers/build/release/archives b/resources/scripts/helpers/build/release/archives
index fa8c9a2..cd64800 100755
--- a/resources/scripts/helpers/build/release/archives
+++ b/resources/scripts/helpers/build/release/archives
@@ -97,32 +97,6 @@ printf "\n\n"
mkdir release/
mkdir release/rom/
-# ### Prepare libreboot_docs archive ready for release
-# ----------------------------------------------------------------------------------------------------------------------------
-
-printf "Creating libreboot_docs.tar.xz\n"
-
-cd release/
-
-mkdir libreboot_docs/
-
-cp -r ../docs/ libreboot_docs/
-
-# This file is only for the git repository
-rm -f libreboot_docs/docs/tasks.html
-
-cat ../commitid > libreboot_docs/commitid
-
-# create lzma compressed docs archive
-tar -c libreboot_docs | xz -9e >libreboot_docs.tar.xz
-
-# the directory is no longer needed
-rm -rf libreboot_docs/
-
-cd ../
-
-printf "\n\n"
-
# ### Further work in libreboot_src: delete *.git and *.svn
# ### To save space since they are not useful in the release archives
# ### Changes to these projects should be submitted upstream
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'