tree 185448af4bc93fdf672504524ba38ff37b1da0d6
parent 5e558004594497ea91dee123ff14e5e487275d73
author Paul Jakma <paul@jakma.org> 1489082319 +0000
committer Paul Jakma <paul@quagga.net> 1489082636 +0000

buildbot: build documentation, add nightly upload of master docs, other tweaks

* master.cfg: Add a "build-docs" builder to test generation of HTML and PDF
  docs into the commit checks.  With nightly=true property, upload generated
  docs to a static dir on the master.  Run from a NightlyScheduler.

  Add the properties from the internal worker config to the buildbot
  BuildSlave properties, so they're visible in the web UI. Filter through
  a workers2publicprops helper, to whitelist allowed props.