diff options
author | Peter Eckersley <pde@eff.org> | 2016-05-13 22:22:35 +0300 |
---|---|---|
committer | Peter Eckersley <pde@eff.org> | 2016-05-13 22:22:35 +0300 |
commit | c55d8e4741bfcd02934c37902f9ba6edf33cb8ee (patch) | |
tree | 792de35e37113d5a514bcb6fad9c04213e7bdfad /tools | |
parent | 3c279c4fadfc4c08a3119f39317865a1ef3dcff1 (diff) |
Build the text for the man page at release
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/release.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/release.sh b/tools/release.sh index 8c2d04cd4..abaad09ff 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -145,6 +145,9 @@ pip install \ kill $! cd ~- +# get a snapshot of the CLI help for the docs +certbot --help all > docs/cli-help.txt + # freeze before installing anything else, so that we know end-user KGS # make sure "twine upload" doesn't catch "kgs" if [ -d ../kgs ] ; then @@ -197,7 +200,7 @@ mv letsencrypt-auto-source/letsencrypt-auto.asc letsencrypt-auto-source/certbot- cp -p letsencrypt-auto-source/letsencrypt-auto certbot-auto cp -p letsencrypt-auto-source/letsencrypt-auto letsencrypt-auto -git add certbot-auto letsencrypt-auto letsencrypt-auto-source +git add certbot-auto letsencrypt-auto letsencrypt-auto-source docs/cli-help.txt git diff --cached git commit --gpg-sign="$RELEASE_GPG_KEY" -m "Release $version" git tag --local-user "$RELEASE_GPG_KEY" --sign --message "Release $version" "$tag" |