Robert Helgesson
|
6ca1e16eb3
|
ci: build manual and push to home-manager.dev
This builds the manual on builds.sr.ht and pushes it for availability
on
https://home-manager.dev/manual/unstable or
https://home-manager.dev/manual/{version}
depending on which release branch is built.
(cherry picked from commit 0ee5ab611d)
|
2023-06-25 00:59:27 +02:00 |
|