Merge rm_historical_relnotes_from_dist

This commit is contained in:
Luke Dashjr 2024-05-13 17:22:02 +00:00
commit 28f53e5193

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)"