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
..
manual.yml	ci: build manual and push to home-manager.dev	2023-06-25 00:59:27 +02:00