6 Commits

Author	SHA1	Message	Date
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