Commit
5ced3402f1365bffe55370035095a836df9800c3
by Oliver Smithcontrib/jenkins_manuals: new file
Add a separate jenkins script to build and publish the manuals. This
will use the debian-bookworm-build container, which has all dependencies
for the manuals. The other script contrib/jenkins.sh uses the
debian-bookworm-erlang container.
Related: OS#6332
Change-Id: I10f8490e37fd0e332e670b6d461997024588a00c
![[Jenkins]](/jenkins/static/397de69f/images/svgs/logo.svg){kind=logo}
