Change in osmo-e1d[master]: jenkins.sh: Support for building + publishing the manual

Attention is currently required from: laforge, msuraev. osmith has posted comments on this change. ( https://gerrit.osmocom.org/c/osmo-e1d/+/30024 ) Change subject: jenkins.sh: Support for building + publishing the manual ...................................................................... Patch Set 7: (1 comment) Patchset: PS4: I guess part of the problem is that EXTRA_DIST has "doc" in the main Makefile.am. But if I remove that, the build fails elsewhere... so I suggest we just use the workaround for now. Unless you really want me to spend more time on it. -- To view, visit https://gerrit.osmocom.org/c/osmo-e1d/+/30024 To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-e1d Gerrit-Branch: master Gerrit-Change-Id: Ic399662e6ac5e5e7f999e6e7127df9a9580a0627 Gerrit-Change-Number: 30024 Gerrit-PatchSet: 7 Gerrit-Owner: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: Jenkins Builder Gerrit-Reviewer: msuraev <msuraev(a)sysmocom.de> Gerrit-Reviewer: osmith <osmith(a)sysmocom.de> Gerrit-Attention: laforge <laforge(a)osmocom.org> Gerrit-Attention: msuraev <msuraev(a)sysmocom.de> Gerrit-Comment-Date: Mon, 07 Nov 2022 14:02:55 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: No Comment-In-Reply-To: osmith <osmith(a)sysmocom.de> Comment-In-Reply-To: laforge <laforge(a)osmocom.org> Gerrit-MessageType: comment