diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-12-06 05:51:53 +0000 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-12-06 05:51:53 +0000 |
commit | 737435f08214e09844611edabc3ebf026e8814a3 (patch) | |
tree | d9d6aae94fd9786fafa8d0261797931299d34b9c /resources/scripts/helpers/build/release/src | |
parent | 610ab4080996a2c6808ddbfdbddef4de102051d6 (diff) | |
download | librebootfr-737435f08214e09844611edabc3ebf026e8814a3.tar.gz librebootfr-737435f08214e09844611edabc3ebf026e8814a3.zip |
build/release/src: don't exclude the documentation
The documentation is being converted to texinfo, and we will have
intergration in libreboot's build system for compiling it into
other formats like HTML.
Diffstat (limited to 'resources/scripts/helpers/build/release/src')
-rwxr-xr-x | resources/scripts/helpers/build/release/src | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/resources/scripts/helpers/build/release/src b/resources/scripts/helpers/build/release/src index 294c3c20..b2e893a4 100755 --- a/resources/scripts/helpers/build/release/src +++ b/resources/scripts/helpers/build/release/src @@ -46,10 +46,10 @@ mkdir -p "${distdir}/" printf 'Copying sources to %s/\n' "${distdir}" for resource in *; do - case "${resource}" in - release | docs);; - *) cp -R "${resource}" "${distdir}/";; - esac + if [ "${resource}" = "release" ]; then + continue + fi + cp -R "${resource}" "${distdir}/" done # this has to be done before generating @@ -98,10 +98,6 @@ rm -Rf "${distdir}/resources/utilities/coreboot-libre/" rm -f "${distdir}/download" rm -Rf "${distdir}/resources/scripts/helpers/download/" -# The release archive for _src does not include docs, so it -# is nonsense to include the script for it there -rm -f "${distdir}/resources/scripts/helpers/build/release/docs" - # Patches are not needed, because they are already applied to coreboot sources. rm -Rf "${distdir}/resources/libreboot/patch/" # Other patches aren't needed in the release, either |