diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/website.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index a71ee3385..e3d382198 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -61,4 +61,11 @@ jobs: file: docs/_build/reference_manual.json tag: ${{ github.ref }} if: ${{ github.event_name == 'release' }} + - name: Release the current man docs + uses: svenstaro/upload-release-action@v2 + with: + repo_token: ${{ secrets.GITHUB_TOKEN }} + file: docs/_build/meson-reference.3 + tag: ${{ github.ref }} + if: ${{ github.event_name == 'release' }} |