Merge rm_historical_relnotes_from_dist

This commit is contained in:
Luke Dashjr 2025-03-05 03:27:08 +00:00
commit 45b084a111

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