laforge 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 4: (1 comment) Patchset: PS4: Hi osmith, I've invested already something like >= 2 hours in trying to hunt this down, but I cannot find the cause why the last build is not building (or not finding) the user manual pdf. It seems to build fine if I build it locally using contrib/jenkins.sh. -- 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: 4 Gerrit-Owner: laforge <laforge(a)osmocom.org> Gerrit-Reviewer: Jenkins Builder Gerrit-CC: osmith <osmith(a)sysmocom.de> Gerrit-Comment-Date: Sun, 06 Nov 2022 11:03:14 +0000 Gerrit-HasComments: Yes Gerrit-Has-Labels: No Gerrit-MessageType: comment