#807954 debian-live: setup automated builds of live-manual

#807954#5
Date:
2015-12-14 17:35:01 UTC
From:
To:
Hi,

The old server providing live.debian.net has been shutdown. The hosted
versions of the live-manual package should now be located on the
debian-live group's Alioth webspace instead now.

This means setting up automated builds of stable/unstable (and
optionally testing/git) versions of live-manual.

The means by which this is set up should be documented on the wiki at:

https://wiki.debian.org/DebianLive/live-manual

Thanks,
Iain.

#807954#10
Date:
2023-03-17 20:17:38 UTC
From:
To:
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

#807954#15
Date:
2023-03-23 07:00:22 UTC
From:
To:
Hello Holger,

Yes.

Good idea.

Currently the latest and greatest version is automatically generated by
Salsa on every git commit.

https://live-team.pages.debian.net/live-manual/html/live-manual/index.en.html

The last release of the package was in 2015... so a new package upload
is due.

I'll fill in the missing spots soon.

With kind regards,
Roland