2 commits

Author	SHA1	Message	Date
Robert Helgesson	f3a4512166	ci: fix manual build in sourcehut build ... (cherry picked from commit e4611630c3)	2024-05-26 01:31:17 +02:00
Robert Helgesson	0ee5ab611d	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.	2023-06-25 00:55:43 +02:00