tree 3ccb54b290df304e93e3fbcf164efedcfd55c020
parent e10022df38a4b4162eb5971d4c3143279c8f6013
author Harald Welte <laforge@osmocom.org> 1583340689 +0100
committer Harald Welte <laforge@osmocom.org> 1583345732 +0100

contrib/jenkins.sh: Harmonize with what we do in other projects

most importantly:
* conditional build of manuals
* enforce build of manuals if enabled
* publish manuals, if requested

Change-Id: I4ed51fd5aa9d861ea4795e33b6201c15b2281b53