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