mirror of
https://github.com/gbdev/rgbds.git
synced 2026-09-06 05:47:07 +00:00
@@ -29,7 +29,7 @@ jobs:
|
|||||||
ssh-key: !!str ${{ secrets.SSH_KEY_SECRET }}
|
ssh-key: !!str ${{ secrets.SSH_KEY_SECRET }}
|
||||||
- name: Install groff and mandoc
|
- name: Install groff and mandoc
|
||||||
run: |
|
run: |
|
||||||
sudo apt install -Uyq groff mandoc -o APT::Color=yes -o Acquire::Queue-Mode
|
sudo apt install -Uyq groff mandoc -o APT::Color=yes -o Acquire::Queue-Mode=access
|
||||||
- name: Update pages
|
- name: Update pages
|
||||||
working-directory: rgbds/man
|
working-directory: rgbds/man
|
||||||
run: | # The ref appears to be in the format "refs/tags/<version>", so strip that
|
run: | # The ref appears to be in the format "refs/tags/<version>", so strip that
|
||||||
|
|||||||
Reference in New Issue
Block a user