Rangi
|
3bea7930a9
|
Only update documentation for gbdev/rgbds
Prevent the relevant GitHub Actions from running on forks
|
2021-04-18 16:16:17 -04:00 |
|
ISSOtm
|
5406674cdd
|
Install groff to build PDFs correctly in CI
|
2021-03-20 02:09:47 +01:00 |
|
ISSOtm
|
5a6a44cbc1
|
Fix master documentation updater
Its path was not synced with a recent change
|
2021-03-10 01:15:51 +01:00 |
|
ISSOtm
|
fd83d46ba0
|
Enable master docs update workflow always
There seems to be no way to make the check work, and Actions are disabled
in forks by default anyways.
|
2020-10-11 02:04:09 +02:00 |
|
ISSOtm
|
be8ebe6db9
|
Fix master docs update CI script
GitHub documentation about the syntax is unclear, this should be right
according to the examples I saw.
|
2020-09-24 16:41:23 +02:00 |
|
ISSOtm
|
431f77127e
|
Also update master docs when updating script
|
2020-09-22 01:05:49 +02:00 |
|
ISSOtm
|
2cc58723cb
|
Do not try updating docs if no key is set
This will avoid this randomly failing in forks, unless we want to run it
|
2020-09-22 00:56:14 +02:00 |
|
ISSOtm
|
7e5d9683b1
|
Use mandoc 1.14.5 in CI
This is the version that added -Otoc
|
2020-09-15 19:24:25 +02:00 |
|
ISSOtm
|
0cc9026978
|
Fix docs update action
Make script executable (facepalm)
Fix `run**s**-on` typo
Add key using ssh-agent
Force using SSH for pushing back
|
2020-09-15 15:57:20 +02:00 |
|
ISSOtm
|
0ffda1bf29
|
Add CI Action to update man pages from master
|
2020-09-15 15:00:07 +02:00 |
|