Merge rm_historical_relnotes_from_dist

This commit is contained in:
Luke Dashjr 2023-11-15 23:49:11 +00:00
commit 85dde74255

View File

@ -14,7 +14,7 @@ set -ex
GIT_ARCHIVE="$1"
DISTNAME="$2"
git archive --prefix="${DISTNAME}/" HEAD | tar -xp --exclude '*minisketch*'
git archive --prefix="${DISTNAME}/" HEAD | tar -xp --exclude '*minisketch*' --exclude 'doc/release-notes'
# Generate correct build info file from git, before we lose git
GIT_BUILD_INFO="$(share/genbuild.sh /dev/stdout)"