fix(release): Add man page to .deb distribution (#1455)

This commit is contained in:
Gideon
2025-11-10 18:12:49 +01:00
committed by GitHub
parent 051784ac0d
commit bec7edf1fc
2 changed files with 5 additions and 3 deletions

View File

@@ -232,9 +232,10 @@ jobs:
mkdir -p "$dir"
echo "DEPLOY_DIR=$dir" >> $GITHUB_ENV
- name: Generate shell completions
- name: Generate man page and shell completions
shell: bash
run: |
"$BIN" --gen-manpage > "$DEPLOY_DIR/topgrade.1"
"$BIN" --gen-completion bash > "$DEPLOY_DIR/topgrade.bash"
"$BIN" --gen-completion fish > "$DEPLOY_DIR/topgrade.fish"
"$BIN" --gen-completion zsh > "$DEPLOY_DIR/_topgrade"