machines / included on the Debian website?
In this case, I would vote for using the same mechanism as currently used
for all the other documents under www.debian.org/doc.
That is: the documents are not being built in particular for the debian website;
instead, their respective binary packages from unstable are unpacked, relevant
files (mostly .html or .pdf) are copied to the correct directory, sometimes
renamed, and that's it.
To get a manual updated on the Debian website, one just needs to upload a
new version to unstable, and the rest is done auto-magic-ally :-)
To make this happen, changes for two git repos are needed:
https://salsa.debian.org/webmaster-team/cron
and
https://salsa.debian.org/webmaster-team/webwml
I have prepared (and tested) patches for both; attached.
That would add the 'all-in-one-html-file' variant of live-manual to
https://www.debian.org/doc/devel-manuals
I have also added a built of the devel-manuals html page, to give an idea,
how it might look like.
Regards
Holger