diff options
author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-04-29 20:43:33 +0200 |
---|---|---|
committer | rodarima <rodarima@gmail.com> | 2024-04-30 00:48:00 +0200 |
commit | 53fa248ef89f0b7fddd78588c40ca42e256a5cbf (patch) | |
tree | 76b11f2ff5dcb02af3c8902ff9c2cca377f8b6bc /.github | |
parent | fbf17ef1bc96c4679b74fb813fa9f7249bbcd81b (diff) |
Set current Dillo version in the manual
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3ac54e6..f26ae18 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -37,8 +37,11 @@ jobs: - name: Copy Doxygen docs to website directory run: | # For some reason they are generated by root user + cd dillo + sed -i "s/__VERSION__/$(git describe)/g" doc/user_help.in.html + cd .. cp -a dillo/html web/doxygen - cp dillo/doc/user_help.html web/user_help.html + cp dillo/doc/user_help.in.html web/user_help.html - name: Upload Artifact uses: actions/upload-pages-artifact@v3 with: |