release.sh: generate manpages after version bump
parent
eedb5758c9
commit
5c444cc841
10
release.sh
10
release.sh
|
@ -17,6 +17,11 @@ done
|
||||||
[ "$#" -eq 1 ] || die "usage: ./release.sh [patch|major|minor|rc]"
|
[ "$#" -eq 1 ] || die "usage: ./release.sh [patch|major|minor|rc]"
|
||||||
git diff --quiet || die 'ERROR: git repo is dirty.'
|
git diff --quiet || die 'ERROR: git repo is dirty.'
|
||||||
|
|
||||||
|
cargo release "$1" --no-confirm --exclude "hostsfile"
|
||||||
|
|
||||||
|
# re-stage the manpage commit and the cargo-release commit
|
||||||
|
git reset --soft @~1
|
||||||
|
|
||||||
cargo build
|
cargo build
|
||||||
|
|
||||||
for binary in "innernet" "innernet-server"; do
|
for binary in "innernet" "innernet-server"; do
|
||||||
|
@ -25,11 +30,6 @@ for binary in "innernet" "innernet-server"; do
|
||||||
done
|
done
|
||||||
|
|
||||||
git add doc
|
git add doc
|
||||||
git commit -m "meta: update manpages"
|
|
||||||
cargo release "$1" --no-confirm --exclude "hostsfile"
|
|
||||||
|
|
||||||
# re-stage the manpage commit and the cargo-release commit
|
|
||||||
git reset --soft @~2
|
|
||||||
|
|
||||||
VERSION="$(cargo pkgid -p shared | cut -d '#' -f 2)"
|
VERSION="$(cargo pkgid -p shared | cut -d '#' -f 2)"
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue