diff options
author | Francis Rowe <info@gluglug.org.uk> | 2015-06-08 17:56:52 +0100 |
---|---|---|
committer | Francis Rowe <info@gluglug.org.uk> | 2015-06-08 17:56:52 +0100 |
commit | a8c6e84f6ac7599712153ddcab136326cf872eb2 (patch) | |
tree | 756ac1fab6a7d2599a5d647d0103d93b4510e214 /resources/scripts | |
parent | ce852d2f14dca419ba304042de8aeaf5f9ddced8 (diff) | |
download | librebootfr-a8c6e84f6ac7599712153ddcab136326cf872eb2.tar.gz librebootfr-a8c6e84f6ac7599712153ddcab136326cf872eb2.zip |
build/release/src: delete build/release/docs in the _src archive
Diffstat (limited to 'resources/scripts')
-rwxr-xr-x | resources/scripts/helpers/build/release/src | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/resources/scripts/helpers/build/release/src b/resources/scripts/helpers/build/release/src index 2e6b2cf2..f2be4fba 100755 --- a/resources/scripts/helpers/build/release/src +++ b/resources/scripts/helpers/build/release/src @@ -80,6 +80,10 @@ rm -f "${distdir}/download" rm -Rf "${distdir}/resources/scripts/helpers/download/" rm -Rf "${distdir}/resources/scripts/helpers/build/trim/" +# 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/" |