osmith uploaded patch set #2 to this change.

View Change

jobs/osmocom-release-manuals: add new job

Add a jenkins job that automatically builds manuals for release tags, if
they don't exist on the server already.

Closes: OS#5902
Related: https://downloads.osmocom.org/docs/
Change-Id: I0ecb238660553c3c857e1b310873eca8a8d09dab
---
M .gitignore
A jobs/osmocom-release-manuals.yml
A scripts/manuals/0001-build-custom-dblatex.sty-remove-DRAFT.patch
A scripts/manuals/publish-manuals-for-tags.sh
4 files changed, 513 insertions(+), 0 deletions(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/16/32016/2

To view, visit change 32016. To unsubscribe, or for help writing mail filters, visit settings.