View Change

1 comment:

• Patchset:

  • Patch Set #4:

    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 change 30024. To unsubscribe, or for help writing mail filters, visit settings.