build_tools/release.sh: actually add new docs

Not quite sure for which step this is actually needed.  While at it,
fix the errexit issue that caused this blunder.
This commit is contained in:
Johannes Altmanninger
2025-09-27 22:55:08 +02:00
parent 3d8eca178e
commit 97ae05b69d

View File

@@ -136,7 +136,10 @@ rm -rf "$tmpdir"
cd "$fish_site"
make
git add -u
! git ls-files --others --exclude-standard | grep .
git add docs
if git ls-files --others --exclude-standard | grep .; then
exit 1
fi
git commit --message="$(printf %s "\
| Release $version (docs)
|
@@ -184,7 +187,10 @@ done
cd "$fish_site"
make new-release
git add -u
! git ls-files --others --exclude-standard | grep .
git add docs
if git ls-files --others --exclude-standard | grep .; then
exit 1
fi
git commit --message="$(printf %s "\
| Release $version (release list update)
|